Reset Filters
Circulation Type: Reference Circulation Collection

Cover is for reference only

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

Saved in:
Bibliographic Details
Corporate Authors: International School on Formal Methods for the Design of Computer, Communication, and Software Systems (11th 2011 Bertinoro, Italy); SpringerLink (Online service)
Group Author: Issarny Valerie.; Bernardo Marco.
Published: Springer,
Publisher Address: Berlin Heidelberg New York
Publication Dates: c2011.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 6659
Subjects:
Computer networks
Electronic books.
Formal methods (Computer science)
Online Access: http://dx.doi.org/10.1007/978-3-642-21455-4
Carrier Form: 1 online resource (viii, 526 p.):
ISBN: 9783642214554 (electronic bk.)
364221455X (electronic bk.)
Index Number: TP301
CLC: TP301-532
Contents: Includes bibliographical references and author index.

Related Book Recommendations