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.99 € Hermes Kurierdienst 5.49 € DHL-Kurier 4.49 € Hermes-Stelle 4.99 € DPD-Stelle 3.49 € GLS-Kurierdienst 5.49 €
phone Kontakt phoneWie einkaufen

Model Checking Software

11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Model Checking Software Susanne Graf
Libristo-Code: 01559203
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, März 2004
This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Chec... Vollständige Beschreibung
? points 146 b
59.59 € inkl. MwSt.
Externes Lager Wir versenden in 9-13 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Tutto il mondo del pane. 400 pani. 70 ricette. Scuole, tecniche, lieviti madre nei cinque continenti Fulvio Marino / Buch Hardcover
common.buy 25.49 €
Schwarz Alexander Kluy / Buch Hardcover
common.buy 20.00 €
TERRA Erdkunde 3. Ausgabe Niedersachsen Gymnasium / Buch Hardcover
common.buy 37.79 €
Top
Psychológia ako zbraň Tomáš Vepi / Buch Hardcover
common.buy 14.39 €
MYTHOS SANTOS / Buch Buch
common.buy 22.49 €
Świat. Historia rodzinna (tom 2) Montefiore Simon Sebag / Buch Hardcover
common.buy 24.29 €
Demnächst
ALTERNATIVAS DE FINANCIACION PARA EMPRESAS DE REDUCIDA DIMEN FANDOS LOPEZ / Buch Buch
common.buy 65.39 €
HOLA, TETAS STYNES / Buch Broschur
common.buy 18.69 €
Lo (ez) egiteko istorio bat REGUERO UGARTE / Buch Broschur
common.buy 11.59 €
?Quién es mi bebé? EDICIONES / Buch Broschur
common.buy 17.79 €
Oeuvres Completes de Guy de Maupassant. Tome 13 Bel-Ami Guy De Maupassant / Buch Broschur
common.buy 36.19 €
Correspondance Du Comte de la Forest, Ambassadeur de France En Espagne, 1808-1813. T7 La Forest-A / Buch Broschur
common.buy 25.29 €
Le secret en matière fiscale Pilotin / Buch Broschur
common.buy 46.59 €
Knoedelschorsch seine Leckerchen Hans-Georg Karl / Buch Broschur
common.buy 10.90 €
La semilla del futuro : la agricultura explicada a los ciudadanos François Dufour / Buch Broschur
common.buy 22.10 €
Spin-Off der Mercedes-Benz Lenkungssparte Mark S. Walcher / Buch Broschur
common.buy 48.00 €
Borderline - Tijuana Connection, 1 DVD William A. Seiter / Video DVD
common.buy 13.60 €
Curiosidades en verso. El cuerpo humano SAGRARIO PINTO / Buch Broschur
common.buy 13.49 €

This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Checking Software, SPIN 2004, held in Barcelona, Spain, in April 2004.The 19 revised full papers presented together with the abstracts of an invited talk and 2 tutorials were carefully reviewed and selected from 48 submissions. The papers are organized in topical sections on heuristics and probabilities, improvements of SPIN, validation of timed systems, tool presentations, abstraction and symbolic methods, and applications.

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 Susanne Graf, Laurent Mounier
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2004
Anzahl der Seiten 314
EAN 9783540213147
ISBN 3540213147
Libristo-Code 01559203
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 493
Abmessungen 155 x 235 x 18

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

Frontiers in Algorithms D. T. Lee / Buch Broschur
common.buy 56.39 €
Classic Operating Systems Per Brinch Hansen / Buch Hardcover
common.buy 107.29 €
NOVELS, VOLUME 9 IVAN SERGE TURGENEV / Buch Hardcover
common.buy 33.99 €
Brief and Plain Discourse, Wherein the Doctrine of the Sabbath Is Explained. the Morality of the Fourth Commandment Is Proved. the Change of the Sabba WILLIAM HOMES / Buch Hardcover
common.buy 30.19 €
Readings in Formal Epistemology Horacio Arló-Costa / Buch Broschur
common.buy 110.89 €
Günstig
The Guy Next Door Toni Blake / Buch Broschur
common.buy 1.79 €
Gems of Truth and Beauty Charles Spurgeon / Buch Broschur
common.buy 12.49 €
After the World Ended Hannah Lackoff / Buch Broschur
common.buy 14.99 €
A History of Westbury, Long Island Richard Panchyk / Buch Hardcover
common.buy 25.79 €
Gate Keeper Charles Todd / Buch Broschur
common.buy 23.09 €
Top
First Steps: Caro-Kann Defence Andrew Martin / Buch Broschur
common.buy 24.09 €
Mobile Communications Handbook Jerry D. Gibson / Buch Broschur
common.buy 129.09 €
Cozy Camping (A Lexie Starr Mystery, Book 6) Jeanne Glidewell / Buch Hardcover
common.buy 26.39 €
Patología celular Norman F. Cheville / Buch Broschur
common.buy 40.59 €
Advent Encounter MATT MESSNER / Buch Hardcover
common.buy 20.49 €
Critical Readings on Food in East Asia (3 Vols. Set) K. J. Cwiertka / Buch Hardcover
common.buy 1 130.75 €
A Time to Laugh [With Bag] Ben Alex / Buch Hardcover
common.buy 13.70 €
How's the Weather in Fall? Rebecca Felix / Buch Broschur
common.buy 10.19 €
Rayne the Raindrop Marlo Nix / Buch Broschur
common.buy 16.69 €
Standard English Grammar William Fewsmith / Buch Hardcover
common.buy 33.09 €
Stuck in the Passing Lane Jed Ringel / Buch Broschur
common.buy 12.29 €
Scruffy Goes to the Vet Stephen Rickard / Buch Broschur
common.buy 6.29 €
Simply Circles Bayer Philip Bayer / Buch Broschur
common.buy 19.59 €
Impressionism and Post-Impressionism 2026 Day-to-Day Calendar The Metropolitan Museum Of Art / Kalender/Terminbuch Kalender
common.buy 18.20 €

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?