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

Download

Using Event-B for Critical Device Software Systems - a book by Singh, Neeraj Kumar

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

Featured Books

Savvy
Law, Ingrid
Paperback: $7.99
Another Brooklyn
Woodson, Jacqueline
Hardback: $22.99
Dog Man
Pilkey, Dav
Hardback: $9.99

Rate this title:

Select your rating below then click 'submit'.






I do not wish to rate this title.