Skip to content
Menu Button
    Scan a barcode
    Scan
    My Lists
      Scan a barcode
      Scan
      Added to your cart
      Computers & Technology Books > Smartphone & Tablet Books
      Hardcover Using Event-B for Critical Device Software Systems Book
      Share to Facebook
      Share to Pinterest
      Share to Twitter

      ISBN: 144715259X

      ISBN13: 9781447152590

      Using Event-B for Critical Device Software Systems

      By

      Preface.- Introduction.- Background.- The Modelling Framework: Event-B.- Critical System Development Methodology.- Real-Time Animator and Requirements Traceability.- Refinement Chart.- EB2ALL: An Automatic Code Generator Tool.- Formal Logic Based Heart-Model.- The Cardiac Pacemaker.- Electrocardiogram (ECG).- Conclusion.- Appendix A: Certification Standards.- Index.

      Recommended

      Format: Paperback

      Condition: Very Good

      $8.49
      Save $41.50!
      List Price $49.99
      Almost Gone, Only 1 Left!
      Add to Wish List

      You Might Also Enjoy

      System Design Interview - An insider's guide
      System Design Interview - An insider's guide
      Alex Xu

      from: $33.59

      HTML and CSS: Design and Build Websites
      HTML and CSS: Design and Build Websites
      Jon Duckett

      from: $6.09

      Mastering Monero: The future of private transactions
      Mastering Monero: The future of private transactions
      SerHack

      from: $19.99

      How to Think Like a Manager for the CISSP Exam
      How to Think Like a Manager for the CISSP Exam
      Luke Ahmed

      from: $27.48

      Access for Dummies
      Access for Dummies
      Laurie A Ulrich, Ken Cook

      from: $12.89

      A Seniors Guide to the iPhone SE (3rd Generation): Getting Started with the the 2022 iPhone SE
      A Seniors Guide to the iPhone SE (3rd Generation): Getting Started with the the 2022 iPhone SE
      Scott La Counte

      from: $19.80

      Teach Yourself Visually iPhone 14
      Teach Yourself Visually iPhone 14
      Guy Hart-Davis

      from: $21.39

      iPhone 12 User Guide for Seniors: Easily Master the Latest Version of Your iPhone Thanks to Step-by-Step Tutorials, Large Texts, and Illustrations. You Won’t Feel in Denial Anymore!
      iPhone 12 User Guide for Seniors: Easily Master the Latest Version of Your iPhone Thanks to Step-by-Step Tutorials, Large Texts, and Illustrations. You Won’t Feel in Denial Anymore!
      Brandon Ballard

      from: $20.69

      Windows 10 for Seniors for Dummies
      Windows 10 for Seniors for Dummies
      Peter Weverka

      from: $5.39

      The Personal Cybersecurity Manual: How Anyone Can Protect Themselves from Fraud, Identity Theft, and Other Cybercrimes
      The Personal Cybersecurity Manual: How Anyone Can Protect Themselves from Fraud, Identity Theft, and Other Cybercrimes
      Marlon Buchanan

      from: $15.74

      Html5: Learn Html and Css With a Complete Tutorial Guide
      Html5: Learn Html and Css With a Complete Tutorial Guide
      Shawn Catlett

      from: $16.35

      FreeCAD 0.20 Learn by doing
      FreeCAD 0.20 Learn by doing
      Tutorial Books

      from: $25.21

      Getting Started With Ubuntu OS: A Ridiculously Simple Guide to the Linux Open Source Operating System
      Getting Started With Ubuntu OS: A Ridiculously Simple Guide to the Linux Open Source Operating System
      Lewis Richards, NOW Series, Scott La Counte

      from: $10.48

      Power Pivot and Power BI: The Excel User's Guide to DAX, Power Query, Power BI Power Pivot in Excel 2010-2016
      Power Pivot and Power BI: The Excel User's Guide to DAX, Power Query, Power BI Power Pivot in Excel 2010-2016
      Rob Collie, Avichal Singh

      from: $22.62

      Cybersecurity First Principles: A Reboot of Strategy and Tactics
      Cybersecurity First Principles: A Reboot of Strategy and Tactics
      Rick Howard

      from: $24.00

      Data Structures and Algorithms in Python
      Data Structures and Algorithms in Python
      Robert Method Karamagi

      from: $20.00

      Vintage Laptop Computers: First Decade: 1980-89
      Vintage Laptop Computers: First Decade: 1980-89
      James E. Wilson

      from: $14.54

      A Hacker's Mind
      A Hacker's Mind

      Out of Stock

      Related Subjects

      APIs & Operating Environments Computer Science Computers Computers & Technology Education & Reference Home Computing & How-to Languages & Tools Mobile Phones, Tablets & E-Readers Networking Networks, Protocols & APIs Operating Systems Palm OS PCs Programming Programming & App Development Programming Languages Software Design & Engineering Software Design, Testing & Engineering Software Development Wireless Networks

      Customer Reviews

      2 customer ratings | 2 reviews
      Write a Review
      There are currently no reviews. Be the first to review this work.
      Trustpilot

      Popular Categories

      Website

      My Account

      Partnerships

      Quick Help

      About Us

      ThriftBooks sells millions of used books at the lowest everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $15. ThriftBooks.com. Read more. Spend less.

      Follow Us

      Link to Facebook
      Link to Twitter
      Link to Pinterest
      Link to Tumblr
      Link to Instagram
      Copyright © 2025 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
      ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
      GoDaddy Verified and Secured