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

Automated Technology for Verification and Analysis Supratik Chakraborty

Name: Automated Technology for Verification and Analysis Supratik Chakraborty
Brand: Springer Berlin Heidelberg, Springer Berlin Heidelberg
SKU: 177080018223
Price: 66.34 EUR
Availability: InStock
Rating: 0.0 (0 reviews)

Ø 0.0

0 Bewertungen

66,34 €

Titel: Automated Technology for Verification and Analysis, Untertitel: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings, Einband: Taschenbuch, Autor: Supratik Chakraborty, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 452, Maße: 235x155x25 mm, Gewicht: 680 g, Verkäufer: buch-mimpf, Schlagworte: Embedded Systems QBF optimization Stochastic Hybrid Systems basic parallel processes decidability.

Jetzt bei Ebay:

Zum Angebot *

Verlag:

Springer Berlin Heidelberg, Springer Berlin Heidelberg
Autor:

Supratik Chakraborty
Seiten:

452
Gewicht:

680
Einband:

Taschenbuch
Format:

235x155x25 mm
Sprache:

Englisch
Marke:

Springer Berlin Heidelberg, Springer Berlin Heidelberg
Fachbereich:

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

Automated Technology for Verification and Analysis
Erscheinungsjahr:

20120816
Produktart:

Bücher
Buchtitel:

Automated Technology for Verification and Analysis
Untertitel:

10th International Symposium, ATVA 2012, Thiruvananthapuram, I...
Film-/Fernseh-Titel:

Keine Angabe
Publikationsname:

Automated Technology for Verification and Analysis
Musiktitel:

Keine Angabe
Interpret:

Keine Angabe
Schlagworte:

Embedded Systems QBF optimization Stochastic Hybrid Systems ...
ISBN:

9783642333859

Standardversand:

DHL Paket kostenlos - Lieferung zwischen 15. May 2025 und 17. 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