Noch Fragen? 0800 / 33 82 637

Tools and Algorithms for the Construction and Analysis of Systems

23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I

Produktform: E-Buch Text Elektronisches Buch in proprietärem

The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017. weiterlesen

Elektronisches Format: PDF

Sprache(n): Englisch

ISBN: 978-3-662-54577-5 / 978-3662545775 / 9783662545775

Verlag: Springer Berlin

Erscheinungsdatum: 30.03.2017

Seiten: 609

Herausgegeben von Tiziana Margaria, Axel Legay

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück