Kód: 09479723
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 - Vazba: Brožovaná
- Počet stran: 326
Nakladatelství: Springer London Ltd, 2013
- Více informací o knize
Mohlo by se vám také líbit
Dárkový poukaz: Radost zaručena
- Darujte poukaz v libovolné hodnotě a my se postaráme o zbytek.
- Poukaz se vztahuje na celou naši nabídku.
- Elektronický poukaz vytisknete z e-mailu a můžete ihned darovat.
- Platnost poukazu je 12 měsíců od data vystavení.
Více informací o knize Using Event-B for Critical Device Software Systems
Nákupem získáte 300 bodů
Anotace 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.
Parametry knihy
Zařazení knihy Knihy v angličtině Medicine Nursing & ancillary services Biomedical engineering
2998 Kč
- Plný název: Using Event-B for Critical Device Software Systems
- Autor: Neeraj Kumar Singh
- Jazyk: Angličtina
- Vazba: Brožovaná
- Počet stran: 326
- EAN: 9781447157908
- ISBN: 1447157907
- ID: 09479723
- Nakladatelství: Springer London Ltd
- Hmotnost: 5212 g
- Rozměry: 18 × 155 × 19 mm
- Datum vydání: 17. August 2013
Oblíbené z jiného soudku
-
Safety Risk Management for Medical Devices
3613 Kč -
The Death of Death
582 Kč -
Ultimate BMAT Guide - 600 Practice Questions
907 Kč -
Corneal Biomechanics and Refractive Surgery
1681 Kč -
Medical Devices
3234 Kč -
Medical Device Guidelines and Regulations Handbook
4335 Kč -
Introduction to Biomaterials
2354 Kč -
Biodesign
2448 Kč -
Biomedical Microsystems
4175 Kč -
Comparative Kinesiology of the Human Body
4759 Kč -
Wearable Robotics
6422 Kč -
Analog Electronics for Radiation Detection
2770 Kč -
Biomedical Engineering
2045 Kč -
Cell Culture Technology
2065 Kč -
Organ Tissue Engineering
15373 Kč -
Electromagnetic Imaging for a Novel Generation of Medical Devices
4765 Kč -
Handbook of Biomechatronics
4597 Kč -
Science and Principles of Biodegradable and Bioresorbable Medical Polymers
8494 Kč -
Novel Biomaterials for Regenerative Medicine
6870 Kč -
Introduction to Clinical Engineering
2691 Kč -
Beginner's Guide to Data Agglomeration and Intelligent Sensing
5465 Kč -
Glucose Monitoring Devices
4190 Kč -
Air-Puff Tonometers
4735 Kč -
Handbook of Low-Level Laser Therapy
12836 Kč -
Polyurea
6450 Kč -
Clinical Engineering Handbook
6422 Kč -
Clinical Kinesiology and Biomechanics
2942 Kč -
Safety Risk Management for Medical Devices
5006 Kč -
Hydrogels for Wound Healing
8825 Kč -
Gellan Gum as a Biomedical Polymer
3397 Kč -
Medical Devices and In Vitro Diagnostics
11338 Kč -
Usability Testing of Medical Devices
5755 Kč -
Biomedical Signal Processing
3907 Kč -
Synthetic Polymers in Drug and Biotherapeutics Delivery
5528 Kč -
Artificial Intelligence in Dentistry
5391 Kč -
Artificial Intelligence-Based Brain-Computer Interface
5783 Kč -
Brain Seizure Detection and Classification Using EEG Signals
5465 Kč -
Computational Nanomedicine and Nanotechnology
2942 Kč -
Neural Network Modeling and Identification of Dynamical Systems
4828 Kč -
Introduction to Instrumentation and Measurements
5947 Kč -
Chitosan-Based Nanoparticles for Biomedical Applications
8117 Kč -
Advances in Artificial Intelligence
5708 Kč -
Natural Polymers in Wound Healing and Repair
7696 Kč -
Artificial Pancreas
5465 Kč -
Functional Nanocomposite Hydrogels
6449 Kč -
Synthetic Biology
2998 Kč -
Bioelectronic Nose
5094 Kč -
Principles of Biomedical Instrumentation
3073 Kč -
Advances for Prosthetic Technology
2998 Kč
Osobní odběr Praha, Brno a 12903 dalších
Copyright ©2008-24 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies
Balíkovna za 49 Kč
Vrácení do měsíce
571 999 099 (8-15.30h)