Constructive Analysis and Synthesis of Programs
Edición de la obra Constructive Analysis and Synthesis of Programs
| Autor | Marco Benini |
|---|---|
| Editorial | Lulu Press, Inc. |
| Fecha de publicación | 2009 |
| Idioma | inglés |
| ISBN-13 | 9781445206387 |
| Número de Cutter | B467c |
Edición de la obra Constructive Analysis and Synthesis of Programs
| Autor | Marco Benini |
|---|---|
| Editorial | Lulu Press, Inc. |
| Fecha de publicación | 2009 |
| Idioma | inglés |
| ISBN-13 | 9781445206387 |
| Número de Cutter | B467c |