Normal görünüm MARC görünümü ISBD görünümü

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 / 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 Eleventh International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced lectures Marco Bernardo, Valérie Issarny (Eds.). - London : Springer, 2011. - viii, 526 pages : illustrations ; 24 cm. - Lecture notes in computer science 6659 .

Includes bibliographical references and index.

ISBN: 9783642214547 (pbk. : acid-free paper) 9783642214554

Subjects--Topical Terms:
Software engineering

LC Class. No.: QA76.758