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

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 129 b
52.59 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 13-18 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Demnächst
ALTERNATIVAS DE FINANCIACION PARA EMPRESAS DE REDUCIDA DIMEN FANDOS LOPEZ / Buch Buch
common.buy 59.29 €
Conni & Co 11: Conni, das Kleeblatt und die Pferde am Meer Dagmar Hofeld / E-Book Adobe ePub DRM
common.buy 7.39 €
Świat. Historia rodzinna (tom 2) Montefiore Simon Sebag / Buch Hardcover
common.buy 22.99 €
Top
Psychológia ako zbraň Tomáš Vepi / Buch Hardcover
common.buy 12.79 €
MYTHOS SANTOS / Buch Buch
common.buy 20.19 €
Kontrastive Medienlinguistik Roman Opilowski / Buch Broschur
common.buy 58.00 €
?Quién es mi bebé? EDICIONES / Buch Broschur
common.buy 16.09 €
METODO LENGUAJE MUSICAL 3 DICTADOS SANCHO / Buch Broschur
common.buy 8.89 €
Tutto il mondo del pane. 400 pani. 70 ricette. Scuole, tecniche, lieviti madre nei cinque continenti Fulvio Marino / Buch Hardcover
common.buy 22.79 €
Unterhaltsrecht Michael Schwimann / Buch Hardcover
common.buy 75.00 €
Le secret en matière fiscale Pilotin / Buch Broschur
common.buy 39.59 €
Borderline - Tijuana Connection, 1 DVD William A. Seiter / Video DVD
common.buy 12.99 €
Curiosidades en verso. El cuerpo humano SAGRARIO PINTO / Buch Broschur
common.buy 12.19 €
Les Fragments Heroiques, Ballet Compose Des Actes d'Ovide Et Julie Fuzelier-L / Buch Broschur
common.buy 12.69 €
Y Dejo Escapar Sus Ojos Teresa Zatarain / Buch Hardcover
common.buy 14.89 €
La semilla del futuro : la agricultura explicada a los ciudadanos François Dufour / Buch Broschur
common.buy 19.69 €
Königsblut / Buch Broschur
common.buy 6.99 €
Correspondance Du Comte de la Forest, Ambassadeur de France En Espagne, 1808-1813. T7 La Forest-A / Buch Broschur
common.buy 22.59 €
Oeuvres Completes de Guy de Maupassant. Tome 13 Bel-Ami Guy De Maupassant / Buch Broschur
common.buy 32.29 €
Rafaela McKensey Monika Hoffmann / Buch Broschur
common.buy 7.39 €
TERRA Erdkunde 3. Ausgabe Niedersachsen Gymnasium / Buch Hardcover
common.buy 34.25 €
Spin-Off der Mercedes-Benz Lenkungssparte Mark S. Walcher / Buch Broschur
common.buy 48.00 €
Opfer als Tater. Wechselbeziehungen zwischen Opfern und Tatern in La muerte y la doncella Janike Kyritz / Buch Broschur
common.buy 15.95 €
Histoire de France 1715-1723 Volume 17 (of 19) Jules Michelet / Buch Broschur
common.buy 14.99 €

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 50.79 €
Classic Operating Systems Per Brinch Hansen / Buch Hardcover
common.buy 96.29 €
Rayne the Raindrop Marlo Nix / Buch Broschur
common.buy 14.49 €
Top
First Steps: Caro-Kann Defence Andrew Martin / Buch Broschur
common.buy 17.69 €
Mobile Communications Handbook Jerry D. Gibson / Buch Broschur
common.buy 114.49 €
Cozy Camping (A Lexie Starr Mystery, Book 6) Jeanne Glidewell / Buch Hardcover
common.buy 23.19 €
Patología celular Norman F. Cheville / Buch Broschur
common.buy 36.39 €
NOVELS, VOLUME 9 IVAN SERGE TURGENEV / Buch Hardcover
common.buy 28.29 €
Critical Readings on Food in East Asia (3 Vols. Set) K. J. Cwiertka / Buch Hardcover
common.buy 1 047.39 €
A Time to Laugh [With Bag] Ben Alex / Buch Hardcover
common.buy 12.59 €
Rick Riordan Presents: Serwa Boateng's Guide to Witchcraft and Mayhem Brown / Buch Broschur
common.buy 7.29 €
How's the Weather in Fall? Rebecca Felix / Buch Broschur
common.buy 11.69 €
A History of Westbury, Long Island Richard Panchyk / Buch Hardcover
common.buy 20.29 €
Standard English Grammar William Fewsmith / Buch Hardcover
common.buy 27.49 €
Stuck in the Passing Lane Jed Ringel / Buch Broschur
common.buy 11.09 €
Digital News and HIV Criminalization Colin Hastings / Buch Broschur
common.buy 20.69 €
Scruffy Goes to the Vet Stephen Rickard / Buch Broschur
common.buy 5.49 €
Top
The Power of the Pussy Kara King / Buch Broschur
common.buy 13.19 €
Entrepreneurship in the Arab World EL KHAZINDAR BUSINES / Buch Hardcover
common.buy 37.09 €
Advent Encounter MATT MESSNER / Buch Hardcover
common.buy 18.19 €
Eugenics and Other Evils G. K. Chesterton / Buch Broschur
common.buy 15.39 €
Simply Circles Bayer Philip Bayer / Buch Broschur
common.buy 17.19 €
Skim, Dive, Surface Jenae Cohn / Buch Broschur
common.buy 22.39 €
Top
My First 100 Technology Words Chris Ferrie / Buch Leporello
common.buy 6.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
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?