Catalog

Record Details

Catalog Search


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 Cover Image E-book E-book

Formal Methods for Eternal Networked Software Systems [electronic resource] : 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 / edited by Marco Bernardo, Valérie Issarny.

Bernardo, Marco. (editor.). Issarny, Valérie. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Texto completo


Additional Resources