Integrated Formal Methods

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 

Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3,2000 Proceedings, Lecture Notes in Computer Science 1945

ISBN: 3540411968
ISBN 13: 9783540411963
Herausgeber: Wolfgang Grieskamp/Thomas Santen/Bill Stoddart
Verlag: Springer Verlag GmbH
Umfang: x, 446 S.
Erscheinungsdatum: 18.10.2000
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 1517968 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …