Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 

Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24,2004, Proceedings, Lecture Notes in Computer Science,, Lecture Notes in Computer Science 3253

ISBN: 3540231676
ISBN 13: 9783540231677
Herausgeber: Yassine Lakhnech/Sergio Yovine
Verlag: Springer Verlag GmbH
Umfang: x, 402 S.
Erscheinungsdatum: 20.09.2004
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 1486349 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …