Enlarge

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-

Publication Data

Title 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-
Contributors Marco Bernardo, Valérie Issarny
Publisher Springer
Publication date 2011
Publication location Heidelberg
Language English

Topics

Software architecture :: Congresses
Computer networks :: Congresses
Computer software :: Development :: Congresses
Formal methods (Computer science) :: Congresses

Catalogue Data

OBNB ID GBB171601
ISBN 10 3642214541
ISBN 13 9783642214547
Type BibliographicResource, Book
Dewey Classification 005.12

ISBD

P1053 viii, 526 p.
P1042 Includes bibliographical references and author index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

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-. ISBN 9783642214547. Published by Springer in 2011. Publication and catalogue information, links to buy online and reader comments.