Skip to main content

License single eBooks

Your results

Search and filter

Showing 1 - 1 of 1
0 eBooks €0

  • 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
    Marco Bernardo; Einar Broch Johnsen
    978-3-319-18941-3
    2015
    Edition 1
    • Original, readable and useful lecture notes written by leading experts
    • Made for students, researchers and practitioners
    • Covers a variety of topics in formal methods for software systems, with particular focus on modeling and verification; runtime assessment and testing
    • A detailed preface, introducing the chapters, is included in the front matter and is freely available for perusal on SpringerLink
    • Includes supplementary material: sn.pub/extras

    €419

Is this helpful?

Survey

Survey to collect feedback on the helpfulness of this page.

Survey

Survey to collect feedback on the helpfulness of this page.