Code: 01426259
Using Event-B for Critical Device Software Systems
by Neeraj Kumar Singh
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. ... more
- Language:
English - Binding: Hardback
- Number of pages: 326
Publisher: Springer London Ltd, 2013
- More about this
103.16 €
RRP: 111.80 €
You save 8.64 €
In stock at our supplier
Shipping in 10 - 13 days
You might also like
-
Geostorky aneb Tak bude trochu tepleji...
12.05 € -27 % -
BLUEY ECO-PUZZLE DF 60
8 € -8 % -
Selected Stories
14.89 € -24 % -
Erin and Iran
25.83 € -12 % -
Sherlock Holmes and the Adventure of the Cold-Served Revenge
16.61 € -2 % -
Like Cats & Dogs
7.89 € -25 % -
Light Microscopy
141.27 € -9 % -
Data Science and Artificial Intelligence for Digital Healthcare
206.13 € -7 % -
Scenes for Teens, by Teens
8.60 € -24 % -
BAJO LAS ALAS DE MI VUELO
19.35 € -
South Asia in a Globalising World
80.97 € -
Nanotechnology for Sustainable Water Resources
220.32 € -2 % -
ANTOLOGIA SONORA DEL ROMANCERO TRADICIONAL PANHISPANICO II
49.75 € -
Untersuchungen zu den lexikalischen Besonderheiten des Franzoesischen in Belgien
42.86 € -11 % -
How America Was Born
13.67 € -
Advances in Longitudinal Methods in the Social and Behavioral Sciences
121.10 € -
Swindon - The Complete Works
26.54 € -24 % -
Le carnet de Sarah - Lignes, 96p, A5 - Jacquard Bleu Gris Taupe
10.83 € -
Jordan la loi du plus fort NE
25.33 € -
Adaptive Speciation
71.54 € -
Mana Khemia 2: The Official Strategy Guide
39.01 € -7 % -
DE VIÑADEROS Y ORUJEROS
25.22 € -
Fisiopatología aplicada a la dietética
38.40 € -
ICH BIN die Gegenwart Gottes in jedem Menschenherzen
14.89 € -9 % -
Referenzvorgehensmodell zum Redevelopment von Burobestandsimmobilien
61.10 € -6 % -
Literacy Education and Indigenous Australians
109.54 € -
Carlos Castilla del Pino : Obras completas I y II. 1946-1966
79.45 € -
Transatlantic Divide
73.26 €
Give this book as a present today
- Order book and choose Gift Order.
- We will send you book gift voucher at once. You can give it out to anyone.
- Book will be send to donee, nothing more to care about.
More about Using Event-B for Critical Device Software Systems
You get 249 loyalty points
Book synopsis
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 details
Book category Books in English Medicine Nursing & ancillary services Biomedical engineering
103.16 €
- Full title: Using Event-B for Critical Device Software Systems
- Author: Neeraj Kumar Singh
- Language: English
- Binding: Hardback
- Number of pages: 326
- EAN: 9781447152590
- ISBN: 144715259X
- ID: 01426259
- Publisher: Springer London Ltd
- Weight: 6387 g
- Dimensions: 235 × 155 × 24 mm
- Date of publishing: 20. June 2013
Trending among others
-
Ultimate BMAT Guide - 600 Practice Questions
31.20 € -7 % -
Introduction To Bioengineering
81.27 € -4 % -
The Death of Death
23.81 € -24 % -
Biomedical Engineering
90.09 € -
Corneal Biomechanics and Refractive Surgery
50.66 € -9 % -
Clinical Kinesiology and Biomechanics
110.96 € -9 % -
Medical Devices
121.10 € -9 % -
Rehabilitation Robotics
110.96 € -9 % -
Medical Device Guidelines and Regulations Handbook
131.13 € -9 % -
Biodesign
100.42 € -
Introduction to Biomaterials
81.78 € -
Safety Risk Management for Medical Devices
148.56 € -
Computational Nanomedicine and Nanotechnology
100.93 € -9 % -
Clinical Simulation
218.80 € -
Comparative Kinesiology of the Human Body
167.62 € -10 % -
Wearable Robotics
218.80 € -
Analog Electronics for Radiation Detection
113.40 € -
Biomedical Microsystems
165.39 € -
Medical Device Quality Management Systems
175.32 € -
MATLAB Programming for Biomedical Engineers and Scientists
54.72 € -
Inspection of Medical Devices
141.27 € -9 % -
Rehabilitation Robotics and Healthcare Devices
177.14 € -
Glucose Monitoring Devices
142.79 € -
Introduction to Biomedical Engineering
132.65 € -
Principles of Biomedical Instrumentation
108.13 € -
Medical Device Design
144.51 € -10 % -
Essential Current Concepts in Stem Cell Biology
75.80 € -9 % -
Biomechanics of Human Motion
244.33 € -
Anthropology of Biomedicine 2e
69.31 € -4 % -
Biomechanics for Instructors
121.10 € -9 % -
Carbon Quantum Dots in Biomedical Applications
262.17 € -
Drug Delivery and Biomedical Applications of Porous Silicon-Based Nanocarriers
260.96 € -9 % -
Temporomandibular Joint Total Joint Replacement - TMJ TJR
175.22 € -7 % -
Artificial Intelligence in Dentistry
175.22 € -7 % -
Handbook of Thermosetting Foams, Aerogels, and Hydrogels
294.70 € -
Applied Science and Engineering of Wound Dressings and their Clinical Effectiveness
245.85 € -
Synthetic Biopolymers for Drug Delivery
262.88 € -10 % -
Introduction to Synthetic Biology
90.90 € -9 % -
Medical Imaging Application in Health Assessment and Disease Management
181.70 € -9 % -
Handbook of Low-Level Laser Therapy
467.30 € -
Air-Puff Tonometers
129.92 € -
Bioengineering Fluid Mechanics
94.95 € -
Computational and Network Modeling of Neuroimaging Data
122.52 € -9 % -
Quantum Dot Nanocarriers for Drug Delivery
266.53 € -
Engineering and Medicine in Extreme Environments
185.45 € -7 % -
Biomaterials
250.92 € -
Stem Cells and Biomaterials for Regenerative Medicine
145.52 € -10 % -
Biomedical Engineering Handbook
1421.87 € -
Bioelectricity
154.64 € -7 %
Shopping guide
Books by language
Collection points Bratislava a 12440 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
24884 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)