Tools and Algorithms for the Construction and Analysis of Systems

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 

14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6,2008, Proceedings, Theoretical Computer Science and Ge, Lecture Notes in Computer Science 4963 – Theoretical Computer Science and General Issues

ISBN: 3540787992
ISBN 13: 9783540787990
Herausgeber: C R Ramakrishnan/Jakob Rehof
Verlag: Springer Verlag GmbH
Umfang: xvi, 520 S.
Erscheinungsdatum: 18.03.2008
Auflage: 1/2008
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 4378803 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …