Formal Systems Specification
The RPC-Memory Specification Case Study (Lecture Notes in Computer Science)
Edición de la obra Formal systems specification
| Autor | M. Broy, Stephan Merz |
|---|---|
| Editorial | Springer |
| Fecha de publicación | December 6, 1996 |
| Idioma | inglés |
| Páginas | 541 |
| Formato | Paperback |
| ISBN-13 | 9783540619840 |
| ISBN-10 | 3540619844 |
| Número de Cutter | B885f |