Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles 1st Edition
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I

Cover image: Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles 1st edition 9783030613617
  • Author(s)
    Tiziana Margaria; Bernhard Steffen
  • Publisher
    Springer
  • Format
    Reflowable
  • Print ISBN 9783030613617, 3030613615
  • eText ISBN 9783030613624, 3030613623
  • Edition
    1st
  • Copyright
    2020
Rent or Buy eTextbook
‌‌
£22.35 GBP
‌

The world’s #1 eTextbook reader for students. VitalSource is the leading provider of online textbooks and course materials. More than 15 million users have used our Bookshelf platform over the past year to improve their learning experience and outcomes. With anytime, anywhere access and built-in tools like highlighters, flashcards, and study groups, it’s easy to see why so many students are going digital with Bookshelf.

  • Over 2.7 million titles available from more than 1,000 publishers

  • Over 65,000 customer reviews with an average rating of 9.5

  • Over 5 billion digital pages viewed over the past 12 months

  • Over 7,000 institutions using Bookshelf across 241 countries

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I 1st Edition is written by Tiziana Margaria; Bernhard Steffen and published by Springer. The Digital and eTextbook ISBNs for Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles are 9783030613624, 3030613623 and the print ISBNs are 9783030613617, 3030613615. Save up to 80% versus print by going digital with VitalSource.

Back to Top