Formal Methods for Eternal Networked Software Systems
11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures
Edición de la obra Formal Methods for Eternal Networked Software Systems
| Autor | Marco Bernardo |
|---|---|
| Editorial | Springer Berlin Heidelberg |
| Fecha de publicación | 2011 |
| Lugar | Berlin, Heidelberg |
| Idioma | inglés |
| Formato | [electronic resource] : |
| ISBN-13 | 9783642214547, 9783642214554 |
| Serie | Lecture Notes in Computer Science -- 6659 |
| Número de Cutter | B523f |