ISBN 3540588671 books & textbook
Formal Development of Reactive Systems: Case Study Production Cell (Lecture Notes in Computer Science, 891)
Lewerentz, Claus Lindner, Thomas
Springer /1995-01-26 Paperback / 412 Pages
isbn-10: 3540588671 / isbn-13: 9783540588672
