Formal methods in programming and their applications
international conference, Academgorodok, Russia, June/July 1993 : proceedings
Edición de la obra Formal methods in programming and their applications
| Autor | D. Bjørner, M. Broy |
|---|---|
| Editorial | Springer-Verlag |
| Fecha de publicación | 1993 |
| Lugar | Berlin, New York |
| Idioma | inglés |
| Páginas | 433 |
| ISBN-10 | 354057316X, 038757316X |
| OCLC | 28851396 |
| LCCN | 93021317 |
| Serie |