Formal Program Development
Ifip Tc2/Wg 2.1 State-Of-The-Art Report (Lecture Notes in Computer Science / Lecture Notes in Artific)
Edición de la obra Formal Program Development
| Autor | Bernhard Möller, Helmut Partsch, Steve Schuman |
|---|---|
| Editorial | Not Avail |
| Fecha de publicación | December 1993 |
| Idioma | inglés |
| Páginas | 371 |
| Formato | Paperback |
| ISBN-13 | 9783540574996 |
| ISBN-10 | 3540574999 |
| Número de Cutter |