Tools and Algorithms for the Construction and Analysis of Systems

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 

18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1,2012, Proceedings, Theoretical Computer Science and, Lecture Notes in Computer Science 7214 – Theoretical Computer Science and General Issues

ISBN: 3642287557
ISBN 13: 9783642287558
Herausgeber: Cormac Flanagan/Barbara König
Verlag: Springer Verlag GmbH
Umfang: xix, 560 S., 162 s/w Illustr.
Erscheinungsdatum: 14.03.2012
Auflage: 1/2012
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 3204511 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …