Articles liés à Formal Methods for Eternal Networked Software Systems:...

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 - Couverture souple

 
9783642214547: 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
Couverture souple
ISBN 10 : 3642214541 ISBN 13 : 9783642214547
Editeur : Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2011

Synopsis

Based on lectures delivered at the 11th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, this volume explores formal methods for external networked software systems.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Date d'édition
2011
Langue
anglais
ISBN 10 
3642214541
ISBN 13 
9783642214547
Reliure
Broché
Nombre de pages
535
Éditeur
Bernardo Marco, Issarny Valerie
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Autres éditions populaires du même titre

9783642214561: 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

Edition présentée

ISBN 10 :  3642214568 ISBN 13 :  9783642214561
Editeur : Springer, 2011
Couverture souple