Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

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 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Model Checking Software

Name: Model Checking Software
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01661641
Price: 49.49 EUR
Availability: InStock
Author: Alastair Donaldson
ISBN: 9783642317583

19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings

Alastair Donaldson

David Parker

Sprache

Englisch

Buch Broschur

Libristo-Code: 01661641

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Juli 2012

This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on... Vollständige Beschreibung

Libristo-Code: 01661641

121 b

49.49 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Oeuvres Completes de Diderot: Revues Sur Les Ed. Originales. T 19 (Ed.1875-1877) Diderot D

Broschur

34.29 €

Cuerpo de Auxilio Judicial de la Administración de Justicia. Temario Volumen 2 Dorado Picón

Broschur

45.59 €

Krabben Günter Pump

Hardcover

9.95 €

Veselý vlak - Nálepky do vane neuvedený autor

Karten

11.79 €

Polnische Ostseeküste Wolfgang Kling

Broschur

16.95 €

FAUNO Cristina Lobo

Broschur

22.09 €

Livre de Guillaume Le Maire (Ed.1874) Guillaume Le Maire

Broschur

29.19 €

Bedeutung der Grundrechte fur das Bildungssystem in der Bundesrepublik Deutschland Thorsten Lemmer

Broschur

17.95 €

Auswirkung der Zensurengebung auf die Lernmotivation Benjamin Gill

Broschur

38.00 €

Ganz normale Bürger David King

Hardcover

21.49 €

Neue Erde Botschaften Von Erzengel Gabriel Arimea Ashanti

Broschur

14.90 €

This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers presented together with 5 tool papers and 4 invited talks were carefully reviewed and selected from 30 submissions. The papers are grouped in topical sections on model checking techniques; parallel model checking; case studies; model checking for concurrency; and tool demonstrations.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

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 Alastair Donaldson, David Parker

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2012

Anzahl der Seiten 261

EAN 9783642317583

ISBN 3642317588

Libristo-Code 01661641

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 421

Abmessungen 155 x 235 x 15

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering > Softwaretests und Prüfsoftware

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

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