Tools and Algorithms for the Construction and Analysis of Systems

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 

4th International Conference, TACAS’98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’98, Lisbon, Portugal, March 28 – April 4,1998, Proceedings, Lecture Notes in Computer Science 1384

ISBN: 3540643567
ISBN 13: 9783540643562
Herausgeber: Bernhard Steffen
Verlag: Springer Verlag GmbH
Umfang: xv, 461 S.
Erscheinungsdatum: 18.03.1998
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 1513495 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …