Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € ACS-Stelle 4.99 € Box Now 3.99 €
phone Kontakt phoneWie einkaufen

Integrated Formal Methods

4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004.Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Integrated Formal Methods Eerke A. Boiten
Libristo-Code: 01559229
Verlag Springer, Berlin, November 2003
This book constitutes the refereed proceedings of the 4th International Conference on Integrated For... Vollständige Beschreibung
? points 125 b
51.62 €
Externes Lager Wir versenden in 5-8 Tagen
Griechenland Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Simulieren Und Entscheiden Michael Resch / Buch Broschur
common.buy 53.03 €
Lukittu Unkuri / Hörbuch MP3
common.buy 9.49 €
Telemedizin Karolina Budych / E-Book Adobe ePub DRM
common.buy 28.48 €
Hitlers Rache Friedrich-Wilhelm von Hase / E-Book Adobe ePub DRM
common.buy 11.00 €
Untersuchungen zu Ciceros philosophischen Schriften Rudolf Hirzel / Buch Broschur
common.buy 17.57 €
MUSIC FOR A LOCKED IN DOUBLE BASS TORRES / Audio Audio CD
common.buy 18.88 €
Россия в мире: образы и грани взаимодействия Александр Чубарьян / Buch Broschur
common.buy 51.01 €
Miraculous-X-mas Box-Hörspiele / Audio Audio CD
common.buy 15.14 €
Psychiatrie Wolfgang Frank / Buch Broschur
common.buy 53.03 €
BABADADA, shqipe - Nederlands, fjalor me ilustrime - beeldwoordenboek Babadada GmbH / Buch Broschur
common.buy 29.79 €
Streichquartett Nr. 1 Isang Yun / Buch Blatt
common.buy 65.46 €
La Piraterie Maritime En Afrique Orientale Gottfried Soelle Mboundja / Buch Broschur
common.buy 61.42 €
Totschlager Emil (Ü: Franz Blei) Zola / Buch Broschur
common.buy 17.87 €

This book constitutes the refereed proceedings of the 4th International Conference on Integrated Formal Methods, IFM 2004, held in Canterbury, UK, in April 2004.The 24 revised full papers presented together with 3 invited papers and one invited tutorial chapter were carefully reviewed and selected from 65 submissions. The papers are devoted to automating program analysis, state/event-based verification, formalizing graphical notions, refinement, object-orientation, hybrid and timed automata, integration frameworks, verifying interactive systems, and testing and assertions.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Integrated Formal Methods
Autor Eerke A. Boiten, John Derrick, Graeme Smith
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2004
Anzahl der Seiten 548
EAN 9783540213772
ISBN 3540213775
Libristo-Code 01559229
Verlag Springer, Berlin
Gewicht 820
Abmessungen 156 x 234 x 28

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Welsh Calendar Cookbook Gilli Davies / Buch Broschur
common.buy 9.69 €
Memories That Smell like Gasoline David Wojnarowicz / E-Book Adobe ePub DRM
common.buy 17.17 €
Probiotics for Sustainable Food and Medicine Laghulkar Anita Marotirao / Buch Hardcover
common.buy 193.37 €
AQA GCSE French Higher Practice Papers JEAN-CLAUDE GILLES / Buch Broschur
common.buy 14.54 €
Key to kid: How I was able to realize my dream ..? Nothim Assange / Buch Broschur
common.buy 29.79 €
Intelligent Data Engineering and Automated Learning Rashid Syed Zahidur / Buch Broschur
common.buy 79.91 €
Statistical Design and Analysis in Pharmaceutical Science Jen-pei Liu / Buch Hardcover
common.buy 215.79 €
Forerunners and Rivals of Christianity: Volume 2 F. Legge / Buch Broschur
common.buy 56.37 €
Advances in Microwave and Radio Frequency Processing M. Willert-Porada / Buch Hardcover
common.buy 338.35 €
Replacement of Renal Function by Dialysis C. Jacobs / Buch Hardcover
common.buy 110.32 €
Terror in Ireland David Fitzpatrick / Buch Broschur
common.buy 20.60 €
Color Atlas of Thyroid Surgery Youn / Buch Hardcover
common.buy 130.73 €
Anatomy of High Performing Teams Marilyn Laiken / Buch Broschur
common.buy 48.49 €
New York Yankees Matt Christopher / Buch Broschur
common.buy 10.50 €
Classic Tales Second Edition: Level 1: Peach Boy Sue Arengo / Buch Broschur
common.buy 12.11 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?