Pharmacy, Health & Wellness

All Health & Wellness

Pharmacy

Allergy & Sinus

Vitamins & Supplements

Healthy Vision Month

Caregiver Hub

Protein, Fitness, & Weight Management

Women's Wellness

Pain Management

First Aid & Injury Recovery

Vision Center

Digestive Health & Wellness

Cough, Cold, & Flu

Kids Health & Wellness

Diabetes Management

International Medicine

Benefits Hub

Hero image 0 of Using Event-B for Critical Device Software Systems, (Hardcover), 0 of 1

Neeraj Kumar Singh

Using Event-B for Critical Device Software Systems, (Hardcover)

(No ratings yet)

Key item features

Using Event-B for Critical Device Software Systems, (Hardcover)
Author: Springer
ISBN: 9781447152590
Format: Hardcover
Publication Date: 2013-07-02
Page Count: 326

Specs

Book format
Hardcover
Fiction/nonfiction
Non-Fiction
Genre
Computing & Internet
Publication date
July, 2013
Pages
326
Subgenre
Computer Science

Current price is $107.81

Price when purchased online

Free shipping
Free 30-day returns

How do you want your item?

Ships to

Arrives by Tue, May 19

Sold and shipped by Alibris Books

4.569079535299374 stars out of 5, based on 11190 seller reviews(4.6)

Report an issue with this seller

Free 30-day returns

More seller options (3)

Starting from $118.82

About this item

Product details

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.

Using Event-B for Critical Device Software Systems, (Hardcover)
Author: Springer
ISBN: 9781447152590
Format: Hardcover
Publication Date: 2013-07-02
Page Count: 326

info:

We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here, and we have not verified it.

Specifications

Book format

Hardcover

Fiction/nonfiction

Non-Fiction

Genre

Computing & Internet

Publication date

July, 2013

Warranty

Warranty information

Please be aware that the warranty terms on items offered for sale by third party Marketplace sellers may differ from those displayed in this section (if any). To confirm warranty terms on an item offered for sale by a third party Marketplace seller, please use the 'Contact seller' feature on the third party Marketplace seller's information page and request the item's warranty terms prior to purchase.