Wonder Club world wonders pyramid logo
×

Towards Verified Systems Book

Towards Verified Systems
Be the First to Review this Item at Wonderclub
X
Towards Verified Systems, , Towards Verified Systems
out of 5 stars based on 0 reviews
5
0 %
4
0 %
3
0 %
2
0 %
1
0 %
Digital Copy
PDF format
1 available   for $99.99
Original Magazine
Physical Format

Sold Out

  • Towards Verified Systems
  • Written by author Jonathan Bowen
  • Published by Elsevier Science Ltd, 1994/10/01
Buy Digital  USD$99.99

WonderClub View Cart Button

WonderClub Add to Inventory Button
WonderClub Add to Wishlist Button
WonderClub Add to Collection Button

Book Categories

Authors

Foreword
Preface
Contact Addresses
1 Safety-Critical Systems and Formal Methods 3
2 Overview of the Project 35
3 The HOL Logic and System 49
4 Timed Transition Systems 71
5 State Transition Assertions: A Case Study 93
6 A Real-time Programming Language 115
7 Program Compilation 131
8 A Framework for Microprocessor Design 149
9 Designing a Processor 167
10 Hardware Compilation 193
11 Transfer into Industrial Design 211
App. A System Verification and the CLI Stack 225
App. B The ProCoS Project: Provably Correct Systems 249
Acknowledgements 267
Bibliography 269


Login

  |  

Complaints

  |  

Blog

  |  

Games

  |  

Digital Media

  |  

Souls

  |  

Obituary

  |  

Contact Us

  |  

FAQ

CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!!

X
WonderClub Home

This item is in your Wish List

Towards Verified Systems, , Towards Verified Systems

X
WonderClub Home

This item is in your Collection

Towards Verified Systems, , Towards Verified Systems

Towards Verified Systems

X
WonderClub Home

This Item is in Your Inventory

Towards Verified Systems, , Towards Verified Systems

Towards Verified Systems

WonderClub Home

You must be logged in to review the products

E-mail address:

Password: