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
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €
phone Kontakt phoneWie einkaufen

Handbook of Model Checking

Sprache EnglischEnglisch
Buch Broschur
Buch Handbook of Model Checking Edmund M. Clarke
Libristo-Code: 22516061
Verlag Springer Nature Switzerland AG, Juni 2019
Model checking is a computer-assisted method for the analysis of dynamical systems that can be model... Vollständige Beschreibung
? points 402 b
164.39 € inkl. MwSt.
50% Chance Wir werden die ganze Welt durchsuchen Wann bekomme ich das Buch?

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Reisen Eines Naturforschers Im Tropischen Sudamerika Otto Brger / Buch Broschur
common.buy 27.89 €
Campus C Wortschatztraining 3 - neu Christian Zitzl / Buch Broschur
common.buy 15.39 €
LE JARDIN DE MADAME LI Marie SELLIER / Buch Hardcover
common.buy 20.39 €
Osmanlica Türkce Sözlük / Buch Broschur
common.buy 11.59 €
La Biblia: 49 Efesios Anonimo / Hörbuch MP3
common.buy 4.19 €
Abordagem de Classificaç?o Melhorada para Detetar Doenças no Sangue Humano Rana Ali / Buch Broschur
common.buy 46.59 €
Weihnachten??? Christlich??? Märchen??? Oder Satanisch??? Adelheid Sonnenschein / Buch Broschur
common.buy 23.95 €
Laissez-nous rouler sans stress Rollet / Buch Broschur
common.buy 16.49 €

Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic, programming languages, hardware design, and theoretical computer

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 Handbook of Model Checking
Autor Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2019
Anzahl der Seiten 1210
EAN 9783030132330
ISBN 3030132331
Libristo-Code 22516061
Verlag Springer Nature Switzerland AG
Gewicht 1823
Abmessungen 155 x 235

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering > Softwaretests und Prüfsoftware
EDV und Informationstechnologie > Informatik > Theoretische Informatik
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

Red Cell Shape M. Bessis / Buch Broschur
common.buy 128.69 €
Neu
American Constitutional Law John C. Yoo / Buch Hardcover
common.buy 339.79 €
Reimagining Civil Society Collaborations in Development Margit van Wessel / Buch Hardcover
common.buy 194.39 €
Mornin' Tiger Nancy L. White / E-Book Adobe ePub DRM
common.buy 4.89 €
China's New Urbanization Sun / Buch Broschur
common.buy 47.99 €
Data-Driven Traffic Engineering Micha Koller / Buch Broschur
common.buy 146.99 €
Everything You Should Know About: Geese and Albatrosses Anne Richards / Buch Broschur
common.buy 14.49 €
The Kidnap Victim Michael P King / Buch Broschur
common.buy 12.59 €
Radiation Diaries Janet Todd / Buch Broschur
common.buy 10.99 €
Otis Grows Kathryn Hast / Buch Broschur
common.buy 11.59 €
England's perfect school-master. Or, directions for exact spelling, reading, and writing. Shewing how to spell or read any chapter in the Bible by fou Nathaniel Strong / Buch Broschur
common.buy 17.19 €
FBI Domestic Investigations and Operations Guide, Part 4 of 5 - Scholar's Choice Edition The Federal Bureau of Investigation (Fbi / Buch Broschur
common.buy 17.09 €

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?