Introduction to Practical Formal Methods Using Temporal Logic
Edición de la obra Introduction to Practical Formal Methods Using Temporal Logic
| Autor | Michael Fisher |
|---|---|
| Editorial | Wiley & Sons, Limited, John |
| Fecha de publicación | 2011 |
| Idioma | inglés |
| Páginas | 368 |
| ISBN-13 | 9781119991472 |
| Número de Cutter | F535i |