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

Model Checking Software

17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Model Checking Software Jaco C. van de Pol
Libristo-Code: 01656755
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, September 2010
This book constitutes the refereed proceedings of the 17th International§SPIN workshop on Model Chec... Vollständige Beschreibung
? points 123 b
50.29 € inkl. MwSt.
Externes Lager Wir versenden in 14-21 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

PUZZLE 1000 Witraż Zwierzęta 10957 / Spiel/Spielzeug Puzzle
common.buy 5.49 €
Boxer Photo&Kunst (Wandkalender 2026 DIN A2 quer), CALVENDO Monatskalender Calvendo / Kalender/Terminbuch Kalender
common.buy 54.99 €
Fame and Fortune TM Smith / E-Book Adobe ePub DRM
common.buy 4.59 €
Demnächst
JANE GOODALL / Buch Hardcover
common.buy 24.69 €
Star Wars Hidden Empire T02 / Buch Broschur
common.buy 17.39 €
Odnaleziony Coben Harlan / Buch Broschur
common.buy 7.99 €
In den Tropen - Ein Blick in die tropische Klimazone (Tischkalender 2026 DIN A5 quer), CALVENDO Monatskalender Calvendo / Kalender/Terminbuch Kalender
common.buy 20.99 €
Be Kind (Nepali-English) Livia Lemgruber / Buch Broschur
common.buy 14.69 €
Las Grandes Batallas Navales 10. La Hougue JEAN-YVES DELITTE / Buch Broschur
common.buy 16.29 €
Shame - 368000 km pour découvrir... mon histoire volée par MK2 production Wild / Buch Broschur
common.buy 14.69 €
Le cahier de Catherine - Petits carreaux, 96p, A5 - Petits c urs / Kalender/Terminbuch Terminbuch
common.buy 8.49 €
Den Libanon lieben lernen Laura Ziegler / Buch Broschur
common.buy 7.99 €
Sofiin svět Jostein Gaarder / Audio Audio CD
common.buy 11.09 €
Diamante Nero Victoria Quinn / Buch Broschur
common.buy 16.39 €
Die besten Aufstriche selbst gemacht Charly Till / Buch Broschur
common.buy 9.99 €
Textanfänge Ulrike Krieg-Holz / Buch Broschur
common.buy 49.80 €
Raketa Hravá kniha pro děti collegium / Buch Broschur
common.buy 9.89 €
Kvalita software Petr Roudenský / Buch Broschur
common.buy 6.99 €
El estado de las gastronomías González de Heredia Garaygordobil / Buch Broschur
common.buy 22.29 €
Nach dem bewaffneten Kampf Angelika Holderberg / Buch Broschur
common.buy 9.90 €
Amour Et Bergerie, Comedie En 1 Acte, En Vers Jules Barbier / Buch Broschur
common.buy 10.89 €
Uzniki Razuma Tat'yana Volkova / Buch Broschur
common.buy 45.79 €

This book constitutes the refereed proceedings of the 17th International§SPIN workshop on Model Checking Software, SPIN 2010, held at the§University of Twente, in Enschede, The Netherlands, in September 2010.§The 13 revised full papers presented together with 2 tool papers and 3§invited talks were carefully reviewed and selected from 33 submissions.§The papers are organized in topical sections on satisfiability modulo§theories for model checking, model checking in context (simulation,§testing, UML), implementation and performance of model checking, LTL and Büchi automata, extensions to infinite-state systems, and concurrent§software.

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 Jaco C. van de Pol, Michael Weber
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2010
Anzahl der Seiten 263
EAN 9783642161636
ISBN 3642161634
Libristo-Code 01656755
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 421
Abmessungen 159 x 235 x 18

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen
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

Artificial Intelligence Applications and Innovations Lazaros S. Iliadis / Buch Broschur
common.buy 90.79 €
Dynamic Stochastic Optimization K. Marti / Buch Broschur
common.buy 90.79 €
Fabianism and Fabianist Morals in G.B. Shaw's Widowers Houses, Arms and the Man and The Devil's Disciple Nicholas Williams / Buch Broschur
common.buy 18.09 €
Shadowless Alison Robinson / Buch Hardcover
common.buy 14.49 €
Anahid Played Soorp: The Finding of Aran Pirian Mark Kadian / Buch Broschur
common.buy 12.29 €
Olmecs: A Captivating Guide to the Earliest Known Major Ancient Civilization in Mexico Captivating History / Buch Broschur
common.buy 11.29 €
Puppy Dance Party! (Paw Patrol) Hollis James / Buch Broschur
common.buy 4.39 €
History of Wyoming; Volume 1 Ichabod S. Bartlett / Buch Broschur
common.buy 26.69 €
Statistical Mechanics of Neural Networks Huang / Buch Broschur
common.buy 136.09 €
Paxton Letter Tracing for Kids Trace my Name Workbook: Tracing Books for Kids ages 3 - 5 Pre-K & Kindergarten Practice Workbook Paxton Books / Buch Broschur
common.buy 10.69 €
GAMES WITH ANIMALS - Coloring Book For Kids Rachel Madeley / Buch Broschur
common.buy 7.79 €
Top
Down the Highway: The Life of Bob Dylan Howard Sounes / Buch Broschur
common.buy 13.89 €
Raising Pigs: The Ultimate Guide to Pig Raising on Your Homestead Dion Rosser / Buch Broschur
common.buy 14.19 €
Oxford Reading Tree: Floppy's Phonics Decoding Practice: Oxford Level 5: Old Ruins Catherine Baker / Buch Broschur
common.buy 7.99 €
The Shadow Lily Johanna Mo / Buch Broschur
common.buy 11.19 €
Myofascial Induction (TM) Andrzej Pilat / Buch Hardcover
common.buy 126.89 €
So Many Secrets C D Koehler / Buch Hardcover
common.buy 28.79 €
Boxer's Bible of Counterpunching Mark Hatmaker / Buch Broschur
common.buy 9.09 €
Harbor Knight Ralph A Garcia / Buch Broschur
common.buy 12.69 €
Garden to Dye For Chris McLaughlin / Buch Hardcover
common.buy 12.69 €
Best Is Always... Still Yet to Come! Keith Payne / Buch Broschur
common.buy 13.89 €
A View Of The Various Editions Of The Greek And Roman Classics: With Remarks (1778) Edward Harwood / Buch Hardcover
common.buy 37.09 €
Adventures of Doctor Chess A Student / Buch Broschur
common.buy 20.29 €
Tour to London Pierre Jean Grosley / Buch Broschur
common.buy 22.59 €

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