Tools and Algorithms for the Construction and Analysis of Systems

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 

First International Workshop, TACAS ’95, Aarhus, Denmark, May 19 – 20,1995.Selected Papers, Lecture Notes in Computer Science 1019

ISBN: 3540606300
ISBN 13: 9783540606307
Herausgeber: Ed Brinksma/W Rance Cleaveland/Kim G Larsen et al
Verlag: Springer Verlag GmbH
Umfang: vii, 298 S.
Erscheinungsdatum: 23.11.1995
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 1507461 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …