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 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €
phone Kontakt phoneWie einkaufen

FM 2006: Formal Methods

14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch FM 2006: Formal Methods Jayadev Misra
Libristo-Code: 01562449
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, August 2006
This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, F... Vollständige Beschreibung
? points 290 b
118.29 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 11-15 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Madoka Mágica Different, 1 HANOKAGE / Buch Hardcover
common.buy 9.39 €
Coloriages mystères Fleurs / Buch Broschur
common.buy 21.69 €
Top
Three Cheers for Kid McGear! Sherri Duskey Rinker / Buch Hardcover
common.buy 12.59 €
Grundzüge der Volkswirtschaftslehre Mark P. Taylor / Buch Broschur
common.buy 49.99 €

This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, Canada, August 2006. The book presents 36 revised full papers together with 2 invited contributions and extended abstracts of 7 invited industrial presentations, organized in topical sections on interactive verification, formal modelling of systems, real time, industrial experience, specification and refinement, programming languages, algebra, formal modelling of systems, and more.

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 FM 2006: Formal Methods
Autor Jayadev Misra, Tobias Nipkow, Emil Sekerinski
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2006
Anzahl der Seiten 620
EAN 9783540372158
ISBN 3540372156
Libristo-Code 01562449
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 958
Abmessungen 155 x 235 x 33

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
EDV und Informationstechnologie > Betriebssysteme
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

Filmmaker Says Jamie Thompson Stern / Buch Hardcover
common.buy 29.89 €
Top
DARLING in the FRANXX Vol. 5-6 Kentaro Yabuki / Buch Broschur
common.buy 16.49 €
Top
Moonology Manifestation Oracle Yasmin Boland / Drucksachen Karten
common.buy 18.89 €
Vegan Keto Diet for Beginners: The Simplest Plant Based Diet for a Healthy Mind and Body. With Diet Plan, Meal Plan, Meal Prep and Whole Foods Cookbo Mary Knox / Buch Broschur
common.buy 15.69 €
PARCC Math Workbook Reza Nazari / Buch Broschur
common.buy 18.09 €
My Best Recipes Victoria Joly / Buch Broschur
common.buy 19.59 €
We Are Absolutely Not Okay: Fourteen Stories by Teenagers Who Are Picking Up the Pieces Marjie Bowker / Buch Broschur
common.buy 8.89 €
Arms and Armour of the Medieval Joust Tobias Capwell / Buch Broschur
common.buy 11.39 €
Shakespeare's King John. with Notes, Examination Papers, and Plan of Preparation. (Selected.) Brainerd Kellogg / Buch Hardcover
common.buy 32.79 €
Think "Moderates!" Milton King / Buch Broschur
common.buy 17.89 €
Rooftops of Tehran Mahbod Seraji / Buch Broschur
common.buy 13.49 €
Top
Convoluted Universe: Book One Dolores Cannon / Buch Broschur
common.buy 16.59 €
Spiritual Dimension John Cottingham / Buch Broschur
common.buy 36.39 €
Hidden Gems Volume II: Contemporary Black British Plays Deirdre Osborne / Buch Broschur
common.buy 25.69 €

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?