Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits.
Create an account for free
Contact
How to shop
Help
Delivery
DPD courier 4.99 €
GLS courier 9.99 €
Shopping guide
My account
▸
Empty :-(
0
Using Event-B for Critical Device Software Systems
Language
English
English
Book
Paperback
This book presents an innovative development approach for critical systems and prototype implementat...
Libristo code: 09479723
?
249 b
249 b
102.73
€
In stock at our supplier
Shipping in 8-11 days
Up to 30 days for returns
Customers also purchased
/
Paperback
17.05
€
/
Paperback
24.11
€
/
Paperback
32.08
€
/
Paperback
20.88
€
/
Paperback
15.53
€
/
Paperback
62.16
€
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.
Actress
&
Polyglot
EWA KASP
for
Play video
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.
About the book
Full name
Using Event-B for Critical Device Software Systems
Author
Neeraj Kumar Singh
Language
English
English
Binding
Book - Paperback
Date of issue
2013
Number of pages
326
EAN
9781447157908
ISBN
1447157907
Libristo code
09479723
Publishers
Springer London Ltd
Weight
5212
Dimensions
155 x 18 x 19
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's addressYou might also be interested in
/
Paperback
17.05
€
/
Paperback
18.36
€
/
Paperback
16.64
€
/
Paperback
20.98
€
