Formal Methods for Eternal Networked Software Systems
11th International School on Formal Methods for the Design of Computer, Communication and ... Italy, June 13-18, 2011, Advanced Lectures
Edición de la obra Formal Methods for Eternal Networked Software Systems
| Autor | Marco Bernardo, Valerie Issarny |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Jul 08, 2011 |
| Páginas | 536 |
| Formato | paperback |
| ISBN-13 | 9783642214561 |
| ISBN-10 | 3642214568 |
| Número de Cutter | B523f |