Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

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 :-(

Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

Model Checking Software

Name: Model Checking Software
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01650022
Price: 53.79 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

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

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

Broschur

48.00 €

Einf hrung in Die Sprachheilkunde J. Berendes

Broschur

50.29 €

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

Broschur

22.00 €

OEuvres De Moli?re: Les Facheux, Comédie. L'école Des Femmes, Comédie. L'impromptu De Versailles, Comédie Molire

Broschur

38.49 €

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

Broschur

26.19 €

Panorama estratégico, 2006/2007

Broschur

9.29 €

Fonti normative francescane Roberto Lambertini

Buch

91.89 €

benandanti. Una storia senza tempo Floreana Nativo

Broschur

12.29 €

Handbuch der arabischen Dialekte Wolfdietrich Fischer

Broschur

49.00 €

Santa Biblia/ Holy Bible David Stoop

Broschur

28.19 €

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

Broschur

54.90 €

Das inoffizielle Wednesday Zeichnen- und Kreativ-Buch Gecko Keck

Broschur

14.00 €

Eine Liebeserklärung an das Ruhrgebiet Clara Hofmann

Broschur

9.99 €

Lehrbuch der Experimentalphysik

Hardcover

99.90 €

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

Hardcover

9.89 €

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

Broschur

18.79 €

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

Broschur

2.49 €

Monsenor Dupanloup: Episodio De La Historia Contemporanea De 1845 A 1875 (1876) Victor Pelletier

Broschur

26.89 €

Anticuerpos monoclonales : realidades y perspectivas Álvarez-Vallina

Broschur

48.59 €

Kärntner Auftragsvergabegesetz Michaela Schabus

Broschur

31.49 €

Klassische Boersenstrategien im Test Daniel Ruppert

Broschur

44.99 €

Hüzünlü Vagonlar Deniz Soganci

Broschur

12.69 €

Todesherz Karen Rose

Broschur

22.99 €

Políticas focalizadas de transferência de renda: contextos e BARBARA COBO

Buch

29.19 €

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