[email protected]
LIBRISTO 0
DHL Abholort 4.69 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € GLS-Kurierdienst 3.99 €
phone Kontakt phoneWie einkaufen

Formal Methods: Applications and Technology

Sprache EnglischEnglisch
Buch Broschur
Buch Formal Methods: Applications and Technology Lubos Brim
Libristo-Code: 01568175
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Februar 2007
This book constitutes the thoroughly refereed joint post-proceedings of the two International Worksh... Vollständige Beschreibung
? points 177 b
70.50 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 13-16 Tagen

30 Tage für die Rückgabe der Ware

Das könnte Sie auch interessieren

AUSVERKAUF
Beast Quest (Band 21) - Tarax, Klauen der Finsternis Adam Blade / Hardcover
common.buy 8.98 €
Eye of the Wolf Daniel Pennac / Broschur
common.buy 9.07 €
Aerodynamics of Low Reynolds Number Flyers Wei ShyyYongsheng LianJian TangDragos Viieru / Broschur
common.buy 73.53 €
Terra magica Ostsee-Kreuzfahrt Christian Prager / Hardcover
common.buy 20.17 €
Business, Politics and International Relations Clemens WurmPatrick Salmon / Broschur
common.buy 58.90 €
Ontologie und Dialektik Theodor W. Adorno / Broschur
common.buy 22.19 €
Blut und Feuer Michael Gratzke / Broschur
common.buy 30.06 €
Vergleich der grossen Weltreligionen im Hinblick auf das Projekt "Weltethos von Hans Kung Jenny Enssle / Broschur
common.buy 18.11 €
Life Skills Matters Grade 1 Student's Book Erato-Nadia BizosPenny HansenMirna Lawrence / Broschur
common.buy 6.24 €
DEMNÄCHST neu
Unbekanntes München Karl Häusler / Hardcover
common.buy 17.05 €
Flussschiffbau Wilhelm Teubert / Broschur
common.buy 98.86 €
"Kominform-Konflikt 1948 - Jugoslawiens Revolte gegen Moskaus Hegemonie Damir Hajric / Broschur
common.buy 18.11 €
Marked Point Processes on the Real Line Andreas Brandt / Hardcover
common.buy 313.82 €
Energy Levels of Nuclei: A = 5 to A = 257 / Energie-Niveaus der Kerne: A = 5 bis A = 257 F. Ajzenberg-Selove / Hardcover
common.buy 1 483.18 €
Less Than Zero Stuart J. Murphy / Broschur
common.buy 6.75 €
Analyse Morphologique Des Tissus Auto-Construits Spontanes Abdelmalek Arrouf / Broschur
common.buy 85.13 €

This book constitutes the thoroughly refereed joint post-proceedings of the two International Workshops on Formal Methods for Industrial Critical Systems, FMICS 2006, and on Parallel and Distributed Methods in Verification, PDMC 2006, held in Bonn, Germany in August 2006 in the course of the 17th International Conference on Concurrency Theory, CONCUR 2006.

Informationen zum Buch

Vollständiger Name Formal Methods: Applications and Technology
Autor Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2007
Anzahl der Seiten 366
EAN 9783540709510
ISBN 3540709517
Libristo-Code 01568175
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 575
Abmessungen 155 x 235 x 22

Kategorie

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz > Wissensbasierte Systeme, Expertensysteme
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 > Systemanalyse und -design
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

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