Tools and Algorithms for the Construction and Analysis of Systems

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 

8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12,2002.Proceedings, Lecture Notes in Computer Science 2280

ISBN: 3540434194
ISBN 13: 9783540434191
Herausgeber: Joost-Pieter Katoen/Perdita Stevens
Verlag: Springer Verlag GmbH
Umfang: xiv, 486 S.
Erscheinungsdatum: 20.03.2002
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 1473315 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …