Skip to main content

License single eBooks

Your results

Search and filter

Showing 1 - 1 of 1
0 eBooks €0

  • 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
    Marco Bernardo; Ferruccio Damiani; Reiner Haehnle; Einar Broch Johnsen; Ina Schaefer
    978-3-319-07317-0
    2014
    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

    €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.