LeafKlimaneutrales Unternehmen CoinFaire Preise PackageSchneller und kostenloser Versand ab 14,90 € Bestellwert
Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings (Lecture Notes in Computer Science, 2648, Band 2648)

Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings (Lecture Notes in Computer Science, 2648, Band 2648)

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

39,24 €

Lieferzeit 1-3 Werktage

Kurzinformation
Sprache:
Englisch
ISBN:
9783540401179
Seitenzahl:
256
Auflage:
-
Erschienen:
2008-10-10
Mit diesem Kauf sparst Du 2,06 kg CO2

Mehr Informationen zum Zustand
Green Tree

Gebrauchte Bücher kaufen

Information
Das Buch befindet sich in einem sehr guten, unbenutzten Zustand.
Information
Das Buch befindet sich in einem sehr guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können leichte Gebrauchsspuren aufweisen.
Information
Das Buch befindet sich in einem guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können Knicke/Gebrauchsspuren aufweisen.
  • Starke Gebrauchsspuren, Seiten und Bindung beschädigt
  • Knicke oder Markierungen nicht mehr als 20%
  • CDs und Zugangscodes können fehlen
  • Auflage kann abweichen
Information
Das Buch befindet sich in einem lesbaren Zustand. Die Seiten und der Einband sind intakt, jedoch weisen Buchrücken/Ecken/Kanten starke Knicke/Gebrauchsspuren auf. Zusatzmaterialien können fehlen.

Neues Buch oder eBook (pdf) kaufen

Information
Neuware - verlagsfrische aktuelle Buchausgabe.
Natural Handgeprüfte Gebrauchtware
Coins Schnelle Lieferung
Check Faire Preise

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

39,24 €

Lieferzeit 1-3 Werktage

Weitere Zahlungsmöglichkeiten  
Zahlungsarten

Beschreibung

Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings (Lecture Notes in Computer Science, 2648, Band 2648)
Diese Beschreibung wurde mittels künstlicher Intelligenz generiert

Das Buch "Model Checking Software: 10th International SPIN Workshop" ist eine Sammlung von wissenschaftlichen Arbeiten, die auf dem 10. internationalen SPIN-Workshop präsentiert wurden, der im Mai 2003 in Portland, Oregon stattfand. Diese Veranstaltung versammelte Forscher und Fachleute aus dem Bereich der formalen Verifikation und des Model Checkings, um neueste Entwicklungen, Techniken und Anwendungen zu diskutieren. Die Beiträge im Buch decken verschiedene Aspekte des Model Checkings ab, darunter algorithmische Verbesserungen, Werkzeuge zur Verifikation von Softwaremodellen sowie Fallstudien zur praktischen Anwendung in industriellen Kontexten. Ziel des Workshops war es, den Austausch von Ideen zu fördern und die Zusammenarbeit zwischen Wissenschaftlern und Praktikern zu stärken, um die Zuverlässigkeit und Effizienz von Software durch verbesserte Verifikationsmethoden zu erhöhen.

Produktdetails

Einband:
paperback
Seitenzahl:
256
Erschienen:
2008-10-10
Sprache:
Englisch
EAN:
9783540401179
ISBN:
9783540401179
Gewicht:
363 g
Auflage:
-
Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.

Über den Autor


Entdecke mehr vom Verlag


Akzeptabel
39,24 €
Entdecke mehr zum Thema
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl