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 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € ACS-Stelle 4.99 € Box Now 3.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: 01650022
Price: 51.59 EUR
Availability: InStock
Author: Corina S. Pasareanu
ISBN: 9783642026515

16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings

Corina S. Pasareanu

Sprache

Englisch

Buch Broschur

Libristo-Code: 01650022

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Juni 2009

This book constitutes the refereed proceedings of the 16th International SPIN workshop on Model Chec... Vollständige Beschreibung

Libristo-Code: 01650022

125 b

51.59 €

Externes Lager Wir versenden in 5-8 Tagen

Lieferung in Griechenland

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Comunidad Terapeutica Psicoanalitica de Estructura Multifamiliar oder Escuela de Familia Christina Keim

Broschur

42.80 €

Einf hrung in Die Sprachheilkunde J. Berendes

Broschur

48.25 €

Azúcar e intervención económica en España Martín Rodríguez

Broschur

25.33 €

Boko Haram : les mots d'une crise Henri Mbarkoutou Mahamat

Broschur

17.96 €

10 Dinge, die autistische Kinder ihren Eltern sagen möchten Ellen Notbohm

Broschur

19.68 €

La lucha continúa Tonya Sipes

Broschur

8.88 €

Panorama estratégico, 2006/2007

Broschur

8.98 €

Fonti normative francescane Roberto Lambertini

Buch

88.44 €

benandanti. Una storia senza tempo Floreana Nativo

Broschur

11.80 €

Auswirkungen von Bodenbearbeitung und Mulchen auf den Ertrag von Mais Muhammad Ramzan

Broschur

48.86 €

Das inoffizielle Wednesday Zeichnen- und Kreativ-Buch Gecko Keck

Broschur

11.90 €

Eine Liebeserklärung an das Ruhrgebiet Clara Hofmann

Broschur

9.08 €

Lehrbuch der Experimentalphysik

Hardcover

88.64 €

Santa Biblia/ Holy Bible David Stoop

Broschur

28.46 €

Příběhy z temné komory Günter Grass

Hardcover

9.48 €

Handbuch der arabischen Dialekte Wolfdietrich Fischer

Broschur

46.23 €

Kärntner Auftragsvergabegesetz Michaela Schabus

Broschur

30.18 €

Klassische Boersenstrategien im Test Daniel Ruppert

Broschur

40.07 €

Internationale Hölderlin-Bibliographie / 1995-1996. II Materialband Werner P. Sohnle

Hardcover

62.29 €

Prakticheskij Russkij Yazyk v Situatsiyakh i Illyustratsiyakh G.G. Malyshev

Broschur

50.17 €

Werbeagenturen in der Politikvermittlung Simon Marschall

Broschur

59.86 €

Písanka 2 k Českému jazyku pro 2. ročník

Broschur

2.72 €

Lodz w PRL-u Ewa Niedzwiecka

Hardcover

21.09 €

Anticuerpos monoclonales : realidades y perspectivas Álvarez-Vallina

Broschur

47.14 €

This book constitutes the refereed proceedings of the 16th International SPIN workshop on Model Checking Software, SPIN 2009, held in Grenoble, France, in June 2009.§The 15 revised full papers presented together with 3 tool papers and 4 invited talks were carefully reviewed and selected from 41 submissions. The papers cover theoretical and algorithmic foundations as well as tools for software model checking by addressing theoretical advances and empirical evaluations related to state-space and path exploration techniques, as implemented in software verification tools.

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 Corina S. Pasareanu

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2009

Anzahl der Seiten 297

EAN 9783642026515

ISBN 3642026516

Libristo-Code 01650022

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

Gewicht 474

Abmessungen 155 x 235 x 17

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