Abstract Software Specifications
1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings (Lecture Notes in Computer Science)
Edición de la obra Abstract Software Specifications
| Autor | D. Bjorner |
|---|---|
| Editorial | Springer |
| Fecha de publicación | December 14, 1982 |
| Idioma | inglés |
| Páginas | 588 |
| Formato | Paperback |
| ISBN-13 | 9783540100072 |
| ISBN-10 | 3540100075 |
| Número de Cutter | B626a |