Tools and Algorithms for the Construction and Analysis of Systems
24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
CHF 72.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Huisman, Marieke (Hrsg.)
- ISBN: 978-3-319-89959-6
- EAN: 9783319899596
- Produktnummer: 27145313
- Verlag: Springer International Publishing
- Sprache: Englisch
- Erscheinungsjahr: 2018
- Seitenangabe: 452 S.
- Masse: H23.5 cm x B15.5 cm x D2.4 cm 680 g
- Auflage: 1st ed. 2018
- Abbildungen: Paperback
- Gewicht: 680
7 weitere Werke von Dirk (Hrsg.) Beyer:
Bewertungen
Anmelden