Search Type
  • All
  • Subject
  • Title
  • Author
  • Publisher
  • Series Title
Search Title

Download

Using Event-B for Critical Device Software Systems

Using Event-B for Critical Device Software Systems( )
Author: Singh, Neeraj Kumar
ISBN:978-1-4471-5259-0
Publication Date:Jul 2013
Publisher:Springer
Book Format:Hardback
List Price:USD $129.00
Book Description:

This book presents an innovative development approach for critical systems and prototype implementation. It provides a novel approach for medical protocol verification, which can help to verify the diagnosis process.

Book Seller

Condition

Price

Shipping

Total

Loading Stock Details...


NEW!
Bowker Bookwire™ App

Bookwire is a mobile app for your iPhone that gives you the ability to scan a barcode or enter ISBN, access book records and add titles to wish lists. Android app on Google Play itunes_store

Featured Books

The Stranger in the Woods
Finkel, Michael
Electronic book text:
The Iliad
Homer
Paperback: $13.99
The Age of Innocence
Wharton, Edith
Paperback: $13.89

Rate this title:

Select your rating below then click 'submit'.






I do not wish to rate this title.