Formal Development of Reactive Systems: Case Study Production Cell
by
Claus Lewerentz
Paperback
details (
USA
).
ISBN: 978-0-387-58867-4
ISBN-10: 0-387-58867-1
Springer-Verlag
· 1995
See also:
2008
Taschenbuch
Formal Development of Reactive Systems: Case Study Production Cell (Lecture Notes in Computer Science, Band 891)