Formal systems specification
the RPC-memory specification case study
Edición de la obra Formal systems specification
| Autor | M. Broy, Stephan Merz |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 1996 |
| Lugar | Berlin, New York |
| Idioma | inglés |
| Páginas | 540 |
| ISBN-10 | 3540619844 |
| OCLC | 36216819 |
| LCCN | 97119744 |
| Serie | Lecture notes in computer science, · 1169 |