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

14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Model Checking Software Dragan Bosnacki
Libristo-Code: 01568802
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Juni 2007
This book constitutes the refereed proceedings of the 14th International SPIN workshop on Model Chec... Vollständige Beschreibung
? points 132 b
53.79 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Grundlinien der Philosophie D. Fr. Ast / Buch Broschur
common.buy 51.99 €
Telekomunikácie pre 3. roč. SPŠ, 2. časť, ŠO elektrotechnika Stanislav Servátka / Buch Broschur
common.buy 37.99 €
Les 100 meilleures recettes pour mamans & papas pressés Solveig Darrigo-Dartinet / Buch Broschur
common.buy 10.49 €
Perception des etudiants universitaires a l'egard de leurs pairs handicapes Andrea Elisa Salas Hoyos / Buch Broschur
common.buy 37.29 €
LES PEINTURES Beeckman / Buch Broschur
common.buy 11.79 €
Top
Practice Makes Perfect: Basic German, Premium Second Edition Jolene Wochenske / Buch Broschur
common.buy 16.50 €
Ötanazi Okulu 1 Ciltli / Buch Broschur
common.buy 20.99 €
Top
Moć uspješnog poslovanja – Savršen recept za poslovni uspjeh Danny Meyer / Buch Broschur
common.buy 24.09 €
Pasta Masterclass Wiebke Krabbe / Buch Hardcover
common.buy 29.95 €
Familienmedizin in der hausärztlichen Versorgung der Zukunft Vera Kalitzkus / Buch Broschur
common.buy 41.29 €
Krevní banka Tanya Huffová / Buch Broschur
common.buy 8.69 €
Das Quiz für Besserwisser I ab 10 Jahren / Buch Hardcover
common.buy 7.29 €
LA SABIDURíA DE LAS AVES TIM BIRKHEAD / Buch Broschur
common.buy 34.29 €
Senzibil Markéta Pilátová / Buch Hardcover
common.buy 12.79 €
Tableau de la France en 1614, la France et la royauté avant Richelieu Gabriel Hanotaux / Buch Broschur
common.buy 26.89 €
Religiöses Leben und philosophische Selbstbestimmung Simone Fazzi / Buch Broschur
common.buy 28.00 €
Premium Touren. Ein schöner Tag wandern Ulrike Poller / Buch Broschur
common.buy 18.49 €
La historia de Ana Zeppelin: Tomo 1 Giselle Murillo / Buch Broschur
common.buy 9.19 €
Günstig
Raphael und Pinturicchio in Siena August Schmarsow / Buch Broschur
common.buy 12.90 €
Sally y la maldición del rubí PULLMAN / Buch Broschur
common.buy 8.29 €
La psicología en la escuela Delval / Buch Broschur
common.buy 18.79 €
Datenmodellierung: Theorie und Praxis des Datenbankentwurfs Günther Vinek / Buch Broschur
common.buy 55.29 €

This book constitutes the refereed proceedings of the 14th International SPIN workshop on Model Checking Software, SPIN 2007, held in Berlin, Germany in July 2007 in conjunction with the 19th International Conference on Computer Aided Verification, CAV 2007.§The 14 revised full papers presented together with 4 tool presentation papers and the abstracts of 2 invited talks were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on directed model checking, partial order reduction, program analysis, exploration advances, modeling and case studies, as well as tool demonstrations.

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 Dragan Bosnacki, Stefan Edelkamp
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2007
Anzahl der Seiten 285
EAN 9783540733690
ISBN 3540733698
Libristo-Code 01568802
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 462
Abmessungen 155 x 235 x 17

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

The Last Outbreak - DESPERATION - Book 3 (A Post-Apocalyptic Thriller) Jeff Olah / Buch Broschur
common.buy 15.39 €
Space Warfare in the 21st Century Joan Johnson-Freese / Buch Broschur
common.buy 60.49 €
First Man Simon Schwartz / Buch Hardcover
common.buy 35.99 €
Islam in Turkey Frances Hawker / Buch Broschur
common.buy 8.79 €
What You Really Need to Know for the Second Half of Life: Protect Your Family! Julieanne E. Steinbacher / Buch Broschur
common.buy 13.49 €
Facebook Marketing Guide for Beginners Steven Murphy / Buch Broschur
common.buy 12.69 €
Drug And Disease Free Michael Broder / Buch Broschur
common.buy 10.39 €
Ambivalent Internet - Mischief, Oddity, and Antagonism Online Ryan M. Milner / Buch Hardcover
common.buy 79.59 €
Around the World in 80 Days Jules Verne / Buch Broschur
common.buy 8.19 €
Top
Mercedes-Benz 190 Service And Repair Manual Haynes Publishing / Buch Broschur
common.buy 37.59 €
Jumbo the Elephant: The Life and Legacy of History's Most Famous Circus Animal Charles River Editors / Buch Broschur
common.buy 10.99 €
LibreOffice 6.0 Writer Guide LibreOffice Documentation Team / Buch Broschur
common.buy 33.29 €
Durarara!!, Vol. 12 (light novel) Ryohgo Narita / Buch Broschur
common.buy 14.79 €
Handbook of Research on Microfinancial Impacts on Women Empowerment, Poverty, and Inequality Ramesh Chandra / E-Book Adobe ePub DRM
common.buy 380.69 €
Centroeuropa Vincente Luis Mora / Buch Broschur
common.buy 12.49 €
Clinical Oral Pathology Nabil Kochaji / Buch Hardcover
common.buy 105.09 €
Butch Heterosexuality in Black Caribbean Womanhood Marsha Myrie Obi / Buch Hardcover
common.buy 79.79 €
Deregulation of Network Industries Sam Peltzman / Buch Broschur
common.buy 34.19 €
Little Men Louisa May Alcott / Buch Broschur
common.buy 11.39 €
Braided Rivers: Process, Deposits, Ecology, Management Jim Best / Buch Broschur
common.buy 196.19 €
Swahili for Foreigners Alice Wanjiku Mangat / Buch Broschur
common.buy 52.39 €
Preaching the Tradition Rex Mason / Buch Broschur
common.buy 49.79 €
Contact! Bob Tuxford / Buch Hardcover
common.buy 31.89 €
MOD Richard Weight / Buch Broschur
common.buy 16.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