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 Cesare Tinelli

Name: Tools and Algorithms for the Construction and Analysis of Systems Cesare Tinelli
Brand: Springer Berlin Heidelberg, Springer Berlin Heidelberg
SKU: 177080028777
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: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings, Einband: Taschenbuch, Autor: Cesare Tinelli, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 744, Maße: 235x155x40 mm, Gewicht: 1107 g, Verkäufer: buch-mimpf, Schlagworte: Algorithmus EDV / Theorie / Software-Entw.

Jetzt bei Ebay:

Zum Angebot *

Verlag:

Springer Berlin Heidelberg, Springer Berlin Heidelberg
Autor:

Cesare Tinelli
Seiten:

744
Gewicht:

1107
Einband:

Taschenbuch
Format:

235x155x40 mm
Sprache:

Englisch
Marke:

Springer Berlin Heidelberg, Springer Berlin Heidelberg
Fachbereich:

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

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

20150408
Produktart:

Bücher
Buchtitel:

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

21st International Conference, TACAS 2015, Held as Part of the...
Film-/Fernseh-Titel:

Keine Angabe
Publikationsname:

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

Keine Angabe
Interpret:

Keine Angabe
Schlagworte:

Algorithmus EDV / Theorie / Software-Entw. / Software Enginee...
ISBN:

9783662466803

Standardversand:

DHL Paket kostenlos - Lieferung zwischen 20. June 2025 und 25. June 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

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

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 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 Bernhard Steff

Tools and Algorithms for the Construction and Analysis of Systems Ed Brinksma

Tools and Algorithms for the Construction and Analysis of Systems Bernhard Steff

Tools and Algorithms for the Construction and Analysis of Systems Ed Brinksma

Tools and Algorithms for the Construction and Analysis of Systems Perdita Steven

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 of Analysis of Systems W. Rance Cleave

Tools and Algorithms for the Construction and Analysis of Systems David Parker

Tools and Algorithms for the Construction and Analysis of Systems David Parker

Tools and Algorithms for the Construction and Analysis of Systems Kim Guldstrand

Tools and Algorithms for the Construction and Analysis of Systems Kim Guldstrand

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

Ähnliche Artikel

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 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 Bernhard Steff

Tools and Algorithms for the Construction and Analysis of Systems Ed Brinksma

Tools and Algorithms for the Construction and Analysis of Systems Bernhard Steff

Tools and Algorithms for the Construction and Analysis of Systems Ed Brinksma

Tools and Algorithms for the Construction and Analysis of Systems Perdita Steven

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 of Analysis of Systems W. Rance Cleave

Tools and Algorithms for the Construction and Analysis of Systems David Parker

Tools and Algorithms for the Construction and Analysis of Systems David Parker

Tools and Algorithms for the Construction and Analysis of Systems Kim Guldstrand

Tools and Algorithms for the Construction and Analysis of Systems Kim Guldstrand

Cookie Hinweis