Formal Mechanization of Device Interactions with a Process Algebra. de Schubert, E. Thomas et al - 1992
de Schubert, E. Thomas et al
Formal Mechanization of Device Interactions with a Process Algebra.
de Schubert, E. Thomas et al
- Usado
- Tapa blanda
Hampton: NASA. Very Good bright condition in wraps. 1992. Contractor Report 189644 .
- Librería Independent bookstores (US)
- Estado del libro Usado - Very Good bright condition in wraps
- Encuadernación Tapa blanda
- Editorial NASA
- Lugar de publicación Hampton
- Fecha de publicación 1992
- Palabras clave Contractor Report 189644, Flight, Aviation, Space