Kód: 01426259
Using Event-B for Critical Device Software Systems
Autor 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. ... celý popis
- Jazyk:
Angličtina - Väzba: Pevná
- Počet strán: 326
Nakladateľ: Springer London Ltd, 2013
- Viac informácií o knihe
102.31 €
Bežne: 110.88 €
Ušetríte 8.57 €
Skladom u dodávateľa
Odosielame za 10 - 13 dní
Mohlo by sa vám tiež páčiť
-
Look Inside Things That Go
11.25 € -25 % -
BLUEY ECO-PUZZLE DF 60
10.04 € -
Geostorky aneb Tak bude trochu tepleji...
13.76 € -16 % -
Selected Stories
13.16 € -15 % -
Erin and Iran
25.62 € -12 % -
Sherlock Holmes and the Adventure of the Cold-Served Revenge
16.47 € -2 % -
Like Cats & Dogs
7.83 € -25 % -
Light Microscopy
140 € -9 % -
Data Science and Artificial Intelligence for Digital Healthcare
204.43 € -7 % -
BAJO LAS ALAS DE MI VUELO
19.09 € -
Advances in Longitudinal Methods in the Social and Behavioral Sciences
120.10 € -
DE VIÑADEROS Y ORUJEROS
24.92 € -
ANTOLOGIA SONORA DEL ROMANCERO TRADICIONAL PANHISPANICO II
49.14 € -
Literacy Education and Indigenous Australians
102.31 € -7 % -
Forest Tree Plantation
25.42 € -2 % -
Nanotechnology for Sustainable Water Resources
218.51 € -2 % -
Fisiopatología aplicada a la dietética
37.98 € -
Oriented Consciousness Mastering in the Practice of Surfing: A book about the Learning of Surfing
15.47 € -6 % -
Jordan la loi du plus fort NE
23.81 € -
South Asia in a Globalising World
85.23 € -
Untersuchungen zu den lexikalischen Besonderheiten des Franzoesischen in Belgien
42.51 € -11 % -
Mana Khemia 2: The Official Strategy Guide
38.69 € -7 % -
Referenzvorgehensmodell zum Redevelopment von Burobestandsimmobilien
44.22 € -11 % -
L'Herpetologie
33.86 € -7 % -
How America Was Born
13.56 € -
Scenes for Teens, by Teens
8.53 € -24 % -
VADEMECUM ACCESO A LA ABOGACIA VOLUMEN V PARTE ESPECIFICA
29.94 € -
Le carnet de Sarah - Lignes, 96p, A5 - Jacquard Bleu Gris Taupe
9.44 €
Darujte túto knihu ešte dnes
- Objednajte knihu a vyberte Zaslať ako darček.
- Obratom obdržíte darovací poukaz na knihu, ktorý môžete ihneď odovzdať obdarovanému.
- Knihu zašleme na adresu obdarovaného, o nič sa nestaráte.
Viac informácií o knihe Using Event-B for Critical Device Software Systems
Nákupom získate 249 bodov
Anotácia knihy
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.
Parametre knihy
Zaradenie knihy Knihy po anglicky Medicine Nursing & ancillary services Biomedical engineering
102.31 €
- Celý názov: Using Event-B for Critical Device Software Systems
- Autor: Neeraj Kumar Singh
- Jazyk: Angličtina
- Väzba: Pevná
- Počet strán: 326
- EAN: 9781447152590
- ISBN: 144715259X
- ID: 01426259
- Nakladateľ: Springer London Ltd
- Hmotnosť: 6387 g
- Rozmery: 235 × 155 × 24 mm
- Dátum vydania: 20. June 2013
Obľúbené z iného súdka
-
Introduction To Bioengineering
76.28 € -10 % -
The Death of Death
23.61 € -24 % -
Ultimate BMAT Guide - 600 Practice Questions
30.95 € -7 % -
Biomedical Engineering
94.37 € -
Corneal Biomechanics and Refractive Surgery
50.15 € -9 % -
Clinical Kinesiology and Biomechanics
110.05 € -9 % -
Medical Devices
120.10 € -9 % -
Rehabilitation Robotics
110.05 € -9 % -
Medical Device Guidelines and Regulations Handbook
130.05 € -9 % -
Computational Nanomedicine and Nanotechnology
100.10 € -9 % -
Biodesign
99.30 € -
Introduction to Biomaterials
81 € -
Safety Risk Management for Medical Devices
151.36 € -5 % -
Wearable Robotics
217 € -
Clinical Simulation
217 € -
Medical Device Quality Management Systems
173.88 € -
Inspection of Medical Devices
140 € -9 % -
Analog Electronics for Radiation Detection
117.89 € -
Comparative Kinesiology of the Human Body
165.84 € -
Biomedical Microsystems
188.65 € -
Rehabilitation Robotics and Healthcare Devices
175.69 € -
Medical Device Design
133.57 € -10 % -
Synthetic Biopolymers for Drug Delivery
250.97 € -9 % -
Carbon Quantum Dots in Biomedical Applications
260.02 € -
Essential Current Concepts in Stem Cell Biology
75.17 € -9 % -
Medical Imaging Application in Health Assessment and Disease Management
170.36 € -10 % -
Anthropology of Biomedicine 2e
68.64 € -5 % -
Temporomandibular Joint Total Joint Replacement - TMJ TJR
173.78 € -7 % -
BIOMEDICAL APPLICATIONS OF SELF-HEALING POLYMERS
234.09 € -9 % -
Biomechanics of Human Motion
247.86 € -
Principles of Biomedical Instrumentation
107.24 € -
Quantum Dot Nanocarriers for Drug Delivery
264.34 € -
Drug Delivery and Biomedical Applications of Porous Silicon-Based Nanocarriers
250.47 € -
Applied Science and Engineering of Wound Dressings and their Clinical Effectiveness
243.84 € -
Bioelectricity
153.37 € -7 % -
Computational and Network Modeling of Neuroimaging Data
111.66 € -9 % -
Deep Learning in Bioinformatics
170.56 € -
Air-Puff Tonometers
128.65 € -
Artificial Intelligence-Based Brain-Computer Interface
196.80 € -
Introduction to Synthetic Biology
90.05 € -9 % -
Bioengineering Fluid Mechanics
92.66 € -
Wearable Smart Sensing Devices for Sustainable Healthcare
169.35 € -10 % -
Handbook of Thermosetting Foams, Aerogels, and Hydrogels
292.28 € -
Engineering and Medicine in Extreme Environments
183.93 € -7 % -
Stem Cells and Biomaterials for Regenerative Medicine
142.42 € -
The Human Weapon System
100.10 € -9 % -
Biomedical Engineering Systems and Technologies
102.31 € -7 % -
Innovations and Human Factors Challenges in Healthcare Product Design
169.35 € -10 % -
Intelligent Medicine: Fundamentals to Future Perspectives
271.88 €
O tomto obchode
Nákupný poradca
Prehľady
Knihy podľa jazyka
Osobný odber Bratislava a 13152 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies
25 miliónov titulov
Vrátenie do mesiaca
02/210 210 99 (8-15.30h)