• Shop by category
  • Powered by eBay
  • Real-Time Systems: Formal Specification and Automatic Verification by Henning Di

    • Item No : 395962940365
    • Condition : Brand New
    • Brand : No brand Info
    • Seller : grandeagleretail
    • Current Bid : US $167.04
    • * Item Description

    • Author Henning Dierks, Ernst-Rüdiger Olderog. For example, an airbag in a car has to unfold within 300 milliseconds in a crash. Detailed case studies and exercises conclude each chapter. Format Hardcover.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category