Tools and Algorithms for the Construction and Analysis of Systems

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 

19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24,2013, Proceedings, Theoretical Computer Science and General Issue, Lecture Notes in Computer Science 7795 – Theoretical Computer Science and General Issues

ISBN: 3642367410
ISBN 13: 9783642367410
Herausgeber: Nir Piterman/Scott Smolka
Verlag: Springer Verlag GmbH
Umfang: xxiv, 646 S., 137 s/w Illustr., 646 p. 137 illus.
Erscheinungsdatum: 20.02.2013
Auflage: 1/2013
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 4413609 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …