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

Tools and Algorithms for the Construction and Analysis of Systems Dirk Beyer

Name: Tools and Algorithms for the Construction and Analysis of Systems Dirk Beyer
Brand: Springer Nature Switzerland, Springer International Publishing
SKU: 177080052615
Price: 53.49 EUR
Availability: InStock
Rating: 0.0 (0 reviews)

Ø 0.0

0 Bewertungen

53,49 €

Titel: Tools and Algorithms for the Construction and Analysis of Systems, Untertitel: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III, Einband: Taschenbuch, Autor: Dirk Beyer, Verlag: Springer Nature Switzerland, Springer International Publishing, Sprache: Englisch, Seiten: 288, Maße: 235x155x16 mm, Gewicht: 441 g, Verkäufer: buch-mimpf, Schlagworte: Artificial Intelligence Competition Java Programming languages Semantics Software Engineering Software Evaluation formal logic formal methods model checking theory of computation verification.

Jetzt bei Ebay:

Zum Angebot *

Verlag:

Springer Nature Switzerland, Springer International Publishing
Autor:

Dirk Beyer
Seiten:

288
Gewicht:

441
Einband:

Taschenbuch
Format:

235x155x16 mm
Sprache:

Englisch
Marke:

Springer Nature Switzerland, Springer International Publishing
Fachbereich:

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

Tools and Algorithms for the Construction and Analysis of Systems
Erscheinungsjahr:

20190404
Produktart:

Bücher
Buchtitel:

Tools and Algorithms for the Construction and Analysis of Systems
Untertitel:

25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Pra...
Film-/Fernseh-Titel:

Keine Angabe
Publikationsname:

Tools and Algorithms for the Construction and Analysis of Systems
Musiktitel:

Keine Angabe
Interpret:

Keine Angabe
Schlagworte:

Artificial Intelligence Competition Java Programming langua...
ISBN:

9783030175016

Standardversand:

DHL Kleinpaket kostenlos - Lieferung zwischen 14. May 2025 und 16. May 2025 (bei heutigem Zahlungseingang)
Standardversand:

DHL Paket 3,99 EUR - Lieferung zwischen 14. May 2025 und 16. May 2025 (bei heutigem Zahlungseingang)
Versand nach:

Deutschland
Versand ausgeschlossen:

Afrika , Asien , Mittelamerika und Karibik , Dänemark , Schweiz , Vatikan , Moldawien , Republik Kroatien , Portugal , Malta , ... und weitere

Tools and Algorithms for the Construction and Analysis of Systems Dirk Beyer

Tools and Algorithms for the Construction and Analysis of Systems Klaus Havelund

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of T

Tools and Algorithms for the Construction and Analysis of Systems Marijn Heule

Tools and Algorithms for the Construction and Analysis of Systems Marijn Heule

Tools and Algorithms for the Construction and Analysis of Systems Grigore Rosu

Tools and Algorithms for the Construction and Analysis of Systems Natasha Sharyg

Tools and Algorithms for the Construction and Analysis of Systems Natasha Sharyg

Tools and Algorithms for the Construction and Analysis of Systems Grigore Rosu

Tools and Algorithms for the Construction and Analysis of Systems Marijn Heule

Tools and Algorithms for the Construction and Analysis of Systems Laura Kovács

Tools and Algorithms for the Construction and Analysis of Systems Laura Kovács

Tools and Algorithms for the Construction and Analysis of Systems Laura Kovács

Tools and Algorithms for the Construction and Analysis of Systems Anna Philippou

Tools and Algorithms for the Construction and Analysis of Systems Lijun Zhang

Tools and Algorithms for the Construction and Analysis of Systems Tiziana Margar

Tools and Algorithms for the Construction and Analysis of Systems Lijun Zhang

Tools and Algorithms for the Construction and Analysis of Systems Tiziana Margar

Tools and Algorithms for the Construction and Analysis of Systems Cesare Tinelli

Tools and Algorithms for the Construction and Analysis of Systems Rupak Majumdar

Tools and Algorithms for the Construction and Analysis of Systems Jakob Rehof

Tools and Algorithms for the Construction and Analysis of Systems Dirk Beyer

Ähnliche Artikel

Tools and Algorithms for the Construction and Analysis of Systems Klaus Havelund

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of T

Tools and Algorithms for the Construction and Analysis of Systems Marijn Heule

Tools and Algorithms for the Construction and Analysis of Systems Marijn Heule

Tools and Algorithms for the Construction and Analysis of Systems Grigore Rosu

Tools and Algorithms for the Construction and Analysis of Systems Natasha Sharyg

Tools and Algorithms for the Construction and Analysis of Systems Natasha Sharyg

Tools and Algorithms for the Construction and Analysis of Systems Grigore Rosu

Tools and Algorithms for the Construction and Analysis of Systems Marijn Heule

Tools and Algorithms for the Construction and Analysis of Systems Laura Kovács

Tools and Algorithms for the Construction and Analysis of Systems Laura Kovács

Tools and Algorithms for the Construction and Analysis of Systems Laura Kovács

Tools and Algorithms for the Construction and Analysis of Systems Anna Philippou

Tools and Algorithms for the Construction and Analysis of Systems Lijun Zhang

Tools and Algorithms for the Construction and Analysis of Systems Tiziana Margar

Tools and Algorithms for the Construction and Analysis of Systems Lijun Zhang

Tools and Algorithms for the Construction and Analysis of Systems Tiziana Margar

Tools and Algorithms for the Construction and Analysis of Systems Cesare Tinelli

Tools and Algorithms for the Construction and Analysis of Systems Rupak Majumdar

Tools and Algorithms for the Construction and Analysis of Systems Jakob Rehof

Cookie Hinweis