Overview
- 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
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9104)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Included in the following conference series:
Conference proceedings info: SFM 2015.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (5 chapters)
Keywords
About this book
Editors and Affiliations
Bibliographic Information
Book Title: Formal Methods for Multicore Programming
Book Subtitle: 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
Editors: Marco Bernardo, Einar Broch Johnsen
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-18941-3
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2015
Softcover ISBN: 978-3-319-18940-6Published: 19 May 2015
eBook ISBN: 978-3-319-18941-3Published: 06 May 2015
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: VII, 211
Number of Illustrations: 72 b/w illustrations
Topics: Software Engineering, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Mathematical Logic and Formal Languages, Probability and Statistics in Computer Science