Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Verification of Temporal Properties in Embedded Software Djones Lettnin

Name: Verification of Temporal Properties in Embedded Software Djones Lettnin
Brand: Südwestdeutscher Verlag Für Hochschulschriften
SKU: 177080022709
Price: 69.90 EUR
Availability: InStock
Rating: 0.0 (0 reviews)

Ø 0.0

0 Bewertungen

69,90 €

Titel: Verification of Temporal Properties in Embedded Software, Untertitel: based on Assertion and Semiformal Verification Approaches, Einband: Taschenbuch, Autor: Djones Lettnin, Verlag: Südwestdeutscher Verlag Für Hochschulschriften, Sprache: Englisch, Seiten: 160, Maße: 220x150x10 mm, Gewicht: 256 g, Verkäufer: buch-mimpf.

Jetzt bei Ebay:

Zum Angebot *

Seiten:

160
Gewicht:

256
Einband:

Taschenbuch
Marke:

Südwestdeutscher Verlag Für Hochschulschriften
Fachbereich:

Hardcover/Naturwissenschaften, Medizin, Informatik, Technik/In...
Publikationstitel:

Verification of Temporal Properties in Embedded Software
Buchtitel:

Verification of Temporal Properties in Embedded Software
Untertitel:

based on Assertion and Semiformal Verification Approaches
Film-/Fernseh-Titel:

Keine Angabe
Musiktitel:

Keine Angabe
Interpret:

Keine Angabe
ISBN:

9783838112077
Produktart:

Lehrbuch
Format:

Taschenbuch
Erscheinungsjahr:

2009
Anzahl der Seiten:

160 Seiten
Autor:

Djones Lettnin
Verlag:

Südwestdeutscher Verlag für Hochschulschriften
Publikationsname:

Verification of Temporal Properties in Embedded Software
Sprache:

Englisch

Standardversand:

DHL Paket kostenlos - Lieferung zwischen 17. May 2025 und 21. May 2025 (bei heutigem Zahlungseingang)
Versand nach:

Deutschland
Versand ausgeschlossen:

Afrika , Asien , Mittelamerika und Karibik , Naher Osten , Nordamerika , Ozeanien , Südostasien , Südamerika , Albanien , Andorra , ... und weitere