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.49 €
phone Kontakt phoneWie einkaufen

Model Checking Software

13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Model Checking Software Antti Valmari
Libristo-Code: 01561845
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, März 2006
This book constitutes the refereed proceedings of the 13th International SPIN workshop on Model Chec... Vollständige Beschreibung
? points 141 b
57.79 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 13-18 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Jean Lorrain, Narkiss Rééd. éd. du monument illustré par Guillonnet (1908) Lorrain / Buch Broschur
common.buy 18.89 €
Mit Vollgas Weiter Die Jungen Klostertaler / Audio Audio CD
common.buy 18.29 €
Rupáner-konyha Rupáner-Gallé Margó / Buch Hardcover
common.buy 15.19 €
Kartouzský vězeň Mons. Jan Šrámek Virginie Marie Turzová / Buch binding.
common.buy 9.59 €
Abgrenzung der Gewinnerzielungsabsicht von der steuerlichen Liebhaberei in der Forstwirtschaft / Buch Broschur
common.buy 27.95 €
Fundamentos teóricos y jurídicos de la ordenación del territorio / Buch Broschur
common.buy 25.29 €
Ueber den Optischen Mittelpunkt im Menschlichen Auge. Jakob Friedrich Fries / Buch Broschur
common.buy 21.99 €
XXX xxx / Buch Broschur
common.buy 7.99 €
Klick! Biologie, Physik, Chemie - Alle Bundesländer - Band 6 Catrin Nossek / Buch Blatt
common.buy 15.49 €
Scriptores rerum Prussicarum. Die Geschichtsquellen der Preussischen Vorzeit bis zum Untergange der Ordensherrschaft. Herausgegeben von T. Hirsch, M. Udo Arnold / Buch Broschur
common.buy 61.99 €
Eroeffnungs-Manifest des ersten Dada-Abends in Zurich 1916 im Kontext der historischen Avantgarde und seiner subversiven Qualitaten Florian Höh / Buch Broschur
common.buy 17.95 €
Planner Story Pavel Kosatík / Buch Hardcover
common.buy 0.99 €
Celulas-Tronco Capuano Vanessa Capuano / Buch Broschur
common.buy 43.79 €
Corrales: Guia de Servicios Diego Molina Ruiz / Buch Broschur
common.buy 6.49 €
La Mort Comme Effet Secondaire Shua / Buch Broschur
common.buy 24.79 €
Grundlagen des Usability-Engineering Marcel Thum / Buch Broschur
common.buy 17.95 €
SPUREN - Die Opfer des NSU / Video DVD
common.buy 19.59 €
STEAM+ Intégration des Arts: Perspectives et Applications Pratiques Jacqueline Cofield / Buch Broschur
common.buy 20.09 €
Decirte adiós con un te quiero SILVIA CARPALLO / Buch Broschur
common.buy 20.89 €
LED ZEPPELIN MICK WALL / Buch Broschur
common.buy 31.79 €
Abraham l'Hebreu - Ministre de Dieu David Daniel Agou / Buch Broschur
common.buy 24.79 €
Schäden an polymeren Beschichtungen. Robert Engelfried / Buch Hardcover
common.buy 45.29 €
Vengeful - Die Rache ist mein V. E. Schwab / Buch Broschur
common.buy 18.00 €
Grossbuchstaben Geschichten 2 Sara Quast / Buch Broschur
common.buy 5.89 €

This book constitutes the refereed proceedings of the 13th International SPIN workshop on Model Checking Software, SPIN 2006, held in Vienna, Austria in March/April 2006 as satellite event of ETAPS 2006. The 16 revised full papers presented together with three tool presentation papers were carefully reviewed and selected from 44 submissions. The papers are organized in topical sections.

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 Model Checking Software
Autor Antti Valmari
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2006
Anzahl der Seiten 308
EAN 9783540331025
ISBN 3540331026
Libristo-Code 01561845
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 1010
Abmessungen 155 x 19 x 19

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 > 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

Thirteenth Bullet Cotton Smith / Buch Broschur
common.buy 7.69 €
Riveted Meljean Brook / Buch Broschur
common.buy 21.29 €
Cadogan Guide Cairo, Luxor and Aswan Michael Haag / Buch Broschur
common.buy 20.89 €
Bonsai: The Art of Growing and Keeping Miniature Trees Peter Chan / Buch Broschur
common.buy 14.29 €
Nuclear Medicine Dibya Prakash / Buch Broschur
common.buy 52.69 €
International Relations Theory Michael Haas / Buch Hardcover
common.buy 138.89 €
Spanish Notebook Christopher Buckley / Buch Broschur
common.buy 16.39 €
Wages of Sin Kaite Welsh / Buch Broschur
common.buy 13.79 €
Bible Study Guide -- Stand Strong; Building Your Life on God's Promises: Good Questions Have Small Groups Talking Josh Hunt / Buch Broschur
common.buy 10.69 €
Handbook of Macroeconomics J B Taylor / Buch Hardcover
common.buy 158.69 €
Picasso Anna Coliva / Buch Hardcover
common.buy 50.29 €
Jokes for Kids: Silly Joke Book for Kids Ages 5-12 Playhouse Publishing / Buch Broschur
common.buy 6.99 €
Dancing with Sophia Brian Schroeder / Buch Broschur
common.buy 51.59 €
Beginner's Guide to Chinese Brush Painting Susan Self / Buch Hardcover
common.buy 11.19 €
Once Upon a Winter Tennant Tilly Tennant / Buch Broschur
common.buy 12.19 €
Alphabet, Words and Numbers Tracing: Handwriting Practice Workbook for kids and toddlers, Preschool writing Workbook with Sight words and Numbers for Mb Education / Buch Broschur
common.buy 7.89 €
Women, Stress, and Heart Disease Kristina Orth-Gomer / E-Book Adobe ePub DRM
common.buy 80.99 €
Young ELI Readers - English Jane Cadwallader / Buch Broschur
common.buy 8.99 €
Dark Psychology Sushmita Dutta / Buch Broschur
common.buy 14.19 €
Top
The Charlie Method Elle Kennedy / Buch Broschur
common.buy 14.99 €
Surgery for Parkinson's Disease Robert R. Goodman / Buch Hardcover
common.buy 52.69 €
New Advances on Disease Biomarkers and Molecular Targets in Biomedicine Nikki P. Lee / Buch Hardcover
common.buy 188.99 €
Advanced Dynamics and Control of Structures and Machines Hans Irschik / Buch Broschur
common.buy 107.29 €
Writing Indian Nations Konkle / Buch Broschur
common.buy 47.19 €

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