rent-now

Rent More, Save More! Use code: ECRENTAL

5% off 1 book, 7% off 2 books, 10% off 3+ books

9780444899019

Towards Verified Systems

by Bowen, Jonathan
  • ISBN13:

    9780444899019

  • ISBN10:

    0444899014

  • eBook ISBN(s):

    9781483291529

  • Additional ISBN(s):

    9781483291529

  • Format: Hardcover
  • Copyright: 1994-10-01
  • Publisher: Elsevier Science Ltd

Note: Supplemental materials are not guaranteed with Rental or Used book purchases.

Purchase Benefits

  • Free Shipping Icon Free Shipping On Orders Over $35!
    Your order must be $35 or more to qualify for free economy shipping. Bulk sales, PO's, Marketplace items, eBooks and apparel do not qualify for this offer.
  • eCampus.com Logo Get Rewarded for Ordering Your Textbooks! Enroll Now
  • Write a Review Icon Write a Review
  • Complimentary 7-Day eTextbook Access - Read more
    When you rent or buy this book, you will receive complimentary 7-day online access to the eTextbook version from your PC, Mac, tablet, or smartphone. Feature not included on Marketplace Items.
List Price: $168.75 Save up to $81.21
  • Rent Book $126.56
    Add to Cart Free Shipping Icon Free Shipping

    TERM
    PRICE
    DUE

    7-Day eTextbook Access 7-Day eTextbook Access

    USUALLY SHIPS IN 3-5 BUSINESS DAYS
    *This item is part of an exclusive publisher rental program and requires an additional convenience fee. This fee will be reflected in the shopping cart.

How To: Textbook Rental

Looking to rent a book? Rent Towards Verified Systems [ISBN: 9780444899019] for the semester, quarter, and short term or search our site for other textbooks by Bowen, Jonathan. Renting a textbook can save you up to 90% from the cost of buying.

Table of Contents

Foreword
Preface
Contact Addresses
Safety-Critical Systems and Formal Methodsp. 3
Overview of the Projectp. 35
The HOL Logic and Systemp. 49
Timed Transition Systemsp. 71
State Transition Assertions: A Case Studyp. 93
A Real-time Programming Languagep. 115
Program Compilationp. 131
A Framework for Microprocessor Designp. 149
Designing a Processorp. 167
Hardware Compilationp. 193
Transfer into Industrial Designp. 211
App. A System Verification and the CLI Stackp. 225
App. B The ProCoS Project: Provably Correct Systemsp. 249
Acknowledgementsp. 267
Bibliographyp. 269
Table of Contents provided by Blackwell. All Rights Reserved.

Supplemental Materials

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.

Rewards Program