Formal Development of Reactive Systems: Case Study Production Cell (Lecture Notes in Computer Science (891), Band 891)

Production

von: Thomas Lindner · Claus Lewerentz

Taschenbuch

ISBN-13: 978-3-540-58867-2

ISBN-10: 3-540-58867-1

Springer · 2008
Siehe auch:
1995PaperbackFormal Development of Reactive Systems: Case Study Production Cell