Tools and Algorithms for the Construction and Analysis of Systems

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 

16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29,2010, Proceedings, Lecture Notes in Computer Science 6015 – Theoretical Computer Science and General Issues

ISBN: 3642120016
ISBN 13: 9783642120015
Herausgeber: Javier Esparza/Rupak Majumdar
Verlag: Springer Verlag GmbH
Umfang: xvi, 468 S., 102 s/w Illustr., 468 p. 102 illus.
Erscheinungsdatum: 17.03.2010
Auflage: 1/2010
Produktform: Kartoniert
Einband: Kartoniert

Fast track conference proceedingsState of the art papersUp to date research

Artikelnummer: 9518047 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …