Tools and Algorithms for the Construction and Analysis of Systems

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 

Third International Workshop, TACAS’97, Enschede, The Netherlands, April 2-4,1997, Proceedings, Lecture Notes in Computer Science 1217

ISBN: 3540627901
ISBN 13: 9783540627906
Herausgeber: Ed Brinksma
Verlag: Springer Verlag GmbH
Umfang: x, 437 S.
Erscheinungsdatum: 20.03.1997
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 1508399 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …