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

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 148 b
60.49 € inkl. MwSt.
Externes Lager Wir versenden in 9-15 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Star Wars Hidden Empire T02 / Buch Broschur
common.buy 22.29 €
Boxer Photo&Kunst (Wandkalender 2026 DIN A2 quer), CALVENDO Monatskalender Calvendo / Kalender/Terminbuch Kalender
common.buy 56.39 €
Be Kind (Nepali-English) Livia Lemgruber / Buch Broschur
common.buy 18.09 €
Le cahier de Catherine - Petits carreaux, 96p, A5 - Petits c urs / Kalender/Terminbuch Terminbuch
common.buy 11.19 €
Den Libanon lieben lernen Laura Ziegler / Buch Broschur
common.buy 7.99 €
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 13.39 €
Nach dem bewaffneten Kampf Angelika Holderberg / Buch Broschur
common.buy 9.99 €
Amour Et Bergerie, Comedie En 1 Acte, En Vers Jules Barbier / Buch Broschur
common.buy 14.19 €
Uzniki Razuma Tat'yana Volkova / Buch Broschur
common.buy 54.89 €

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

Sword Song Sal Quartuccio / Buch Broschur
common.buy 20.19 €
Myofascial Induction (TM) Andrzej Pilat / Buch Hardcover
common.buy 157.49 €
Down the Highway: The Life of Bob Dylan Howard Sounes / Buch Broschur
common.buy 18.09 €
The Shadow Lily Johanna Mo / Buch Broschur
common.buy 14.69 €
Oxford Reading Tree: Floppy's Phonics Decoding Practice: Oxford Level 5: Old Ruins Catherine Baker / Buch Broschur
common.buy 7.19 €
Raising Pigs: The Ultimate Guide to Pig Raising on Your Homestead Dion Rosser / Buch Broschur
common.buy 14.19 €
GAMES WITH ANIMALS - Coloring Book For Kids Rachel Madeley / Buch Broschur
common.buy 7.79 €
History of Wyoming; Volume 1 Ichabod S. Bartlett / Buch Broschur
common.buy 32.79 €
Anahid Played Soorp: The Finding of Aran Pirian Mark Kadian / Buch Broschur
common.buy 15.19 €
Shadowless Alison Robinson / Buch Hardcover
common.buy 18.89 €
Harbor Knight Ralph A Garcia / Buch Broschur
common.buy 16.49 €
Best Is Always... Still Yet to Come! Keith Payne / Buch Broschur
common.buy 18.09 €
A View Of The Various Editions Of The Greek And Roman Classics: With Remarks (1778) Edward Harwood / Buch Hardcover
common.buy 45.59 €
Tour to London Pierre Jean Grosley / Buch Broschur
common.buy 28.29 €
Boxer's Bible of Counterpunching Mark Hatmaker / Buch Broschur
common.buy 11.89 €

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