Formal Techniques in Real-Time and Fault-Tolerant Systems

Lieferzeit: Lieferbar innerhalb 14 Tagen

106,99 

Third International Symposium Organized Jointly with the Working Group Provably Correct Systems – ProCos, Lübeck, Germany, September 19 – 23,1994.Proceedings, Lecture Notes in Computer Science 863

ISBN: 3540584684
ISBN 13: 9783540584681
Herausgeber: Hans Langmaack/Willem-Paul de Roever/Jan Vytopil
Verlag: Springer Verlag GmbH
Umfang: xiv, 787 S.
Erscheinungsdatum: 07.09.1994
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 1432596 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …