Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings (Lecture Notes in Computer Science, 6823)

★★★★★ 4.2 113 Bewertungen
€24.13
Preis bei Onlinekauf
Kostenloser Versand 30 Tage kostenlose Rückgabe
Verkauft und versendet von www.castellidiario.com.ar
Wir bemühen uns, Ihnen genaue Produktinformationen anzuzeigen. Hersteller, Lieferanten und andere stellen die hier gezeigten Angaben bereit.
€24.13
Preis bei Onlinekauf
Kostenloser Versand 30 Tage kostenlose Rückgabe
Wie möchten Sie Ihren Artikel erhalten?
Die ersten 30 Tage sind kostenlos! Wählen Sie den Tarif an der Kasse.
Versand
Ankunft 07.10.
Kostenlos
Abholung
In der Nähe prüfen
Lieferung
Nicht verfügbar
Verkauft und versendet von www.castellidiario.com.ar
30 Tage kostenlose Rückgabe Details

Produktdetails

Artikelnummer 232087316 Erscheinungsdatum 2026/06/18 Listenpreis €24.13 Modellnummer 232087316
Kategorie
  1. Books
  2. Computers & Technology
  3. Programming
  4. Software Design, Testing & Engineering
  5. Software Development

This book constitutes the refereed proceedings of the 18th International SPIN workshop on Model Checking Software, SPIN 2011, held in Snowbird, UT, USA, in July 2011.The 10 revised full papers presented together with 2 tool demonstration papers and 1 invited contribution were carefully reviewed and selected from 29 submissions. The papers are organized in topical sections on abstractions and state-space reductions; search strategies; PROMELA encodings and extensions; and applications of model checking. Read more

ISBN10 3642223052
ISBN13 978-3642223051
Edition 2011th
Language English
Publisher Springer
Dimensions 6.1 x 0.49 x 9.25 inches
Item Weight 12 ounces
Print length 205 pages
Publication date July 5, 2011

Korrektur der Produktinformationen

Wenn Sie Unvollständigkeiten oder Fehler in den Produktinformationen auf dieser Seite bemerken, nutzen Sie bitte das Korrekturformular unten.

Korrekturanfrage

Kundenbewertungen

4.2 von 5
★★★★★
113 Bewertungen | 46 Rezensionen
So wird die Artikelbewertung berechnet
Alle Bewertungen anzeigen
5 Sterne
78% (88)
4 Sterne
6% (7)
3 Sterne
3% (3)
2 Sterne
2% (2)
1 Stern
11% (12)
Sortieren nach

Für dieses Produkt liegen derzeit keine schriftlichen Bewertungen vor.