Cover image: Systems and Software Verification 9783642074783

Systems and Software Verification

Model-Checking Techniques and Tools

  • Author(s) B. Berard; M. Bidoit; A. Finkel; F. Laroussinie; A. Petit; L. Petrucci; P. Schnoebelen
  • Publisher Published by Springer Copyright © 2001
  • "ISBN-13 9783642074783"
  • Format Fixed Layout

eBook

eTextbook License
$44.70 USD
‌‌
‌‌‌

  • Study Tools

    Built-in study tools like highlights and more

  • Read Aloud

    Listen and follow along as Bookshelf reads to you

  • Offline Access

    Access your eTextbook anytime and anywhere

  • Global Search

    Search across book content, figures, and your workbook

Learn More

Systems and Software Verification: Model-Checking Techniques and Tools is written by B. Berard; M. Bidoit; A. Finkel; F. Laroussinie; A. Petit; L. Petrucci; P. Schnoebelen and published by Springer. The Digital and eTextbook ISBNs for Systems and Software Verification are 9783662045589, 3662045583 and the print ISBNs are 9783642074783, 3642074782. Save up to 80% versus print by going digital with VitalSource. Additional ISBNs for this eTextbook include 9783540415237.

Back to Top