Formal methods in computing
Edición de la obra Formal methods in computing
| Autor | Lajos Rónyai |
|---|---|
| Editorial | Akadémiai Kiadó, Akademiai Kiado? |
| Fecha de publicación | 2005 |
| Lugar | Budapest |
| Idioma | inglés |
| Páginas | 425 |
| ISBN-10 | 9630582589 |
| OCLC | 63173181 |
| LCCN | 2008530109 |
| Número de Cutter | R774f |