Formal Mechanization of Device Interactions with a Process Algebra. by Schubert, E. Thomas et al - 1992
by Schubert, E. Thomas et al
Formal Mechanization of Device Interactions with a Process Algebra.
by Schubert, E. Thomas et al
- Used
- Paperback
Hampton: NASA. Very Good bright condition in wraps. 1992. Contractor Report 189644 .
- Bookseller Independent bookstores (US)
- Book Condition Used - Very Good bright condition in wraps
- Binding Paperback
- Publisher NASA
- Place of Publication Hampton
- Date Published 1992
- Keywords Contractor Report 189644, Flight, Aviation, Space