Enlarge

Formal methods for dynamical systems : 13th international school on formal methods for the design of computer, communication, and software systems, SFM 2013, Bertinoro, Italy, June 2013, advanced lect

Publication Data

Title Formal methods for dynamical systems : 13th international school on formal methods for the design of computer, communication, and software systems, SFM 2013, Bertinoro, Italy, June 2013, advanced lect
Contributor Marco Bernardo
Publisher Springer
Publication date 2013
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 GBB358392
ISBN 10 3642388736
ISBN 13 9783642388736
Type BibliographicResource, Book
Dewey Classification 005.12

ISBD

P1053 179 pages
P1042 Includes bibliographical references and 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 dynamical systems : 13th international school on formal methods for the design of computer, communication, and software systems, SFM 2013, Bertinoro, Italy, June 2013, advanced lect. ISBN 9783642388736. Published by Springer in 2013. Publication and catalogue information, links to buy online and reader comments.