Das ausgewählte Angebot wurde beendet, aber wir haben etwas Ähnliches gefunden.

Originalangebot ansehen

Bild 1 von 1

Standardbild

Model Checking Software Corina S Pasareanu Taschenbuch Paperback x Englisch 2009 - Bild 1 von 1

Model Checking Software von Corina S Pasareanu (2009, Taschenbuch)

Schreiben Sie die ersteRezension.

buchbaer (63671)
99,9% positive Bewertungen

Preis:

€ 52,90

(inkl. MwSt.)

Kostenloser Versand

Lieferung ca. Mo, 13. Mai - Do, 16. Mai

Rücknahmen:

1 Monat Rückgabe. Käufer zahlt Rückversand. Für eBay Plus-Mitglieder ist der Rückversand im Inland kostenlos. Mehr erfahren.

Artikelzustand:

Neu

Alle Details ansehen

Über dieses Produkt

Produktinformation

This volume contains the proceedings of the 16th International SPIN Workshop on Model Checking of Software (SPIN 2009), that was held at the Grenoble World Trade Center, in Grenoble, France, June 26-28, 2009. The workshop was co-located with the 21st International Conference on Computer-Aided Veri?- tion (CAV 2009). The SPIN workshopis a forum for practitioners and researchersinterested in themodelchecking-basedanalysisofsoftwaresystems.Thefocusoftheworkshop is on theoretical advances and empirical evaluations related to state-space and path exploration techniques, as implemented in the SPIN model checker and other software veri?cation tools. The workshop aims to encourage interactions and exchanges of ideas with all related areasin software engineering. SPIN 2009 was the 16th event in the workshop series, which started in 1995. This year,wereceived41 submissions (34technical papersand 7 toolpapers) out of which 18 papers were accepted (15 technical papers and 3 tool papers). Each submission was reviewed by three Program Committee members. In addition to the refereed papers, the workshop featured four invited talks given by Patrice Godefroid, from Microsoft Research, USA, on "Software Model CheckingImprovingSecurityofaBillionComputers,"MartaKwiatkowska,from Oxford University, UK, "On Quantitative Software Veri?cation," Joseph Sifakis (recipient of the Turing Award 2007), from VERIMAG, France, on "The Quest for Correctness - Beyond a posteriori Veri?cation," and Willem Visser, from the University of Stellenbosch, South Africa, on "Who Really Cares if the Program Crashes?" We would like to thank the authors of submitted papers, the invited spe- ers, the Program Committee members, the external reviewers, and the Steering

Produktkennzeichnungen

Herausgeber
Corina's Pasareanu
ISBN-10
3642026516
ISBN-13
9783642026515
eBay Product ID (ePID)
73934487

Produkt Hauptmerkmale

Sprache
Englisch
Anzahl der Seiten
308 Seiten
Verlag
Springer Berlin Heidelberg, Springer Berlin
Autor
Corina S Pasareanu
Buchtitel
Model Checking Software
Format
Taschenbuch
Erscheinungsjahr
2009
Buchreihe
Theoretical Computer Science And General Issues

Zusätzliche Produkteigenschaften

Hörbuch
No
Inhaltsbeschreibung
Paperback
Item Length
23cm
Item Height
1cm
Item Width
15cm
Nummer Innerhalb der Serie
5578
Item Weight
470g

Alle Angebote für dieses Produkt

Artikel 1 Model Checking Software Corina S Pasareanu Taschenbuch Paperback x Englisch 2009
EUR 52,90
Kostenloser Versand
Artikel 2 Model Checking Software 16th International SPIN Workshop, Grenoble, France, 7165
EUR 53,49
+EUR 2,94 Versand

Meistverkauft in Bücher

Aktuelle Folie {CURRENT_SLIDE} von {TOTAL_SLIDES}- Meistverkauft in Bücher

Gesundheit aus der Apotheke Gottes von Maria Treben (2022, Taschenbuch)
4.8 von 5 Sternen in 59 Produktbewertungen
EUR 20,00 Neu
EUR 14,00 Gebraucht
Audi 100 / 200 von 9/82 bis 11/90 von Rüdiger Etzold (1996, Kunststoffeinband)
4.0 von 5 Sternen in 2 Produktbewertungen
EUR 39,90 Neu
EUR 29,90 Gebraucht

Hier sparen: Bücher

Aktuelle Folie {CURRENT_SLIDE} von {TOTAL_SLIDES}- Hier sparen: Bücher

Harry Potter Komplette 7-Bücher-Boxset-Kollektion für Kinder von JK Rowling
EUR 57,34
Preistendenz: EUR 59,37
WEIGHT WATCHERS NEU SELTEN 10 TAGEBÜCHER VON FLEXPOINTS FÜR ALLE AUCH ANFÄNGER.
EUR 9,85
Preistendenz: EUR 10,03
"Buchstaben und Zahlen Schreiben Lernen" | Vorschulheft Ab 4 Jahren
EUR 10,49
Preistendenz: EUR 10,91
Skoda Octavia III Kombi, Reparaturanleitung Reparatur-Buch/Handbuch/Wartung
EUR 29,90
Preistendenz: EUR 30,21
Alex Hirsch (u. a.) | Gravity Falls: Journal 3 | Buch | Englisch (2016)
EUR 17,09
Preistendenz: EUR 20,33
WEIGHT WATCHERS NEU EINKAUFS GUIDE EINKAUFSFÜHRER MIT 80,000 LEBENSMITTEL 2020.
EUR 18,88
Preistendenz: EUR 20,92

Auch interessant

Aktuelle Folie {CURRENT_SLIDE} von {TOTAL_SLIDES}- Auch interessant

Stöbern in Kategorien

Bild 1 von 1

Model Checking Software von Corina S Pasareanu (2009, Taschenbuch)

Über dieses Produkt

Produktinformation

Produktkennzeichnungen

Produkt Hauptmerkmale

Zusätzliche Produkteigenschaften

Alle Angebote für dieses Produkt

Artikel 1 Model Checking Software Corina S Pasareanu Taschenbuch Paperback x Englisch 2009

Artikel 2 Model Checking Software 16th International SPIN Workshop, Grenoble, France, 7165

Meistverkauft in Bücher

Gesundheit aus der Apotheke Gottes von Maria Treben (2022, Taschenbuch)

Audi 100 / 200 von 9/82 bis 11/90 von Rüdiger Etzold (1996, Kunststoffeinband)

Hier sparen: Bücher

Harry Potter Komplette 7-Bücher-Boxset-Kollektion für Kinder von JK Rowling

WEIGHT WATCHERS NEU SELTEN 10 TAGEBÜCHER VON FLEXPOINTS FÜR ALLE AUCH ANFÄNGER.

"Buchstaben und Zahlen Schreiben Lernen" | Vorschulheft Ab 4 Jahren

Skoda Octavia III Kombi, Reparaturanleitung Reparatur-Buch/Handbuch/Wartung

Alex Hirsch (u. a.) | Gravity Falls: Journal 3 | Buch | Englisch (2016)

WEIGHT WATCHERS NEU EINKAUFS GUIDE EINKAUFSFÜHRER MIT 80,000 LEBENSMITTEL 2020.

Auch interessant

Studium und Erwachsenenbildung Software-Entwicklung als Taschenbuch

William-S. - Burroughs-Taschenbuch-Belletristik-Bücher

William-S. - Burroughs-Taschenbuch-Sachbuch Bücher

Lehrbücher als Taschenbuch

William-S. - Burroughs-Taschenbuch-Kinder - & -Jugendliteratur Bücher

Sonstige Bücher im Taschenbuch-Format