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 - Vazba: Pevná
- Počet stran: 326
Nakladatelství: Springer London Ltd, 2013
- Více informací o knize
2646 Kč
Skladem u dodavatele v malém množství
Odesíláme za 13-18 dnů
Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.
Přidat mezi přání
Mohlo by se vám také líbit
-
Geostorky aneb Tak bude trochu tepleji...
339 Kč -
BLUEY ECO-PUZZLE DF 60
193 Kč -
Selected Stories
248 Kč -
Erin and Iran
728 Kč -
Sherlock Holmes and the Adventure of the Cold-Served Revenge
402 Kč -
Like Cats & Dogs
191 Kč -
Light Microscopy
3222 Kč -
Data Science and Artificial Intelligence for Digital Healthcare
4707 Kč -
BAJO LAS ALAS DE MI VUELO
423 Kč -
ANTOLOGIA SONORA DEL ROMANCERO TRADICIONAL PANHISPANICO II
1105 Kč -
Scenes for Teens, by Teens
208 Kč -
Untersuchungen zu den lexikalischen Besonderheiten des Franzoesischen in Belgien
975 Kč -
Nanotechnology for Sustainable Water Resources
5322 Kč -
South Asia in a Globalising World
1956 Kč -
Mana Khemia 2: The Official Strategy Guide
942 Kč -
Advances in Longitudinal Methods in the Social and Behavioral Sciences
2924 Kč -
How America Was Born
331 Kč -
Oriented Consciousness Mastering in the Practice of Surfing: A book about the Learning of Surfing
377 Kč -
Koufonisi, Crete
2350 Kč -
Adaptive Speciation
1727 Kč -
Le carnet de Sarah - Lignes, 96p, A5 - Jacquard Bleu Gris Taupe
258 Kč -
Jordan la loi du plus fort NE
607 Kč -
Swindon - The Complete Works
597 Kč -
DE VIÑADEROS Y ORUJEROS
560 Kč -
Fisiopatología aplicada a la dietética
843 Kč -
Transatlantic Divide
1770 Kč -
Literacy Education and Indigenous Australians
2357 Kč -
Referenzvorgehensmodell zum Redevelopment von Burobestandsimmobilien
1014 Kč
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 265 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
2646 Kč
- Plný název: Using Event-B for Critical Device Software Systems
- Autor: Neeraj Kumar Singh
- Jazyk: Angličtina
- Vazba: Pevná
- Počet stran: 326
- EAN: 9781447152590
- ISBN: 144715259X
- ID: 01426259
- Nakladatelství: Springer London Ltd
- Hmotnost: 6387 g
- Rozměry: 235 × 155 × 24 mm
- Datum vydání: 20. June 2013
Oblíbené z jiného soudku
-
Ultimate BMAT Guide - 600 Practice Questions
754 Kč -
Introduction To Bioengineering
1793 Kč -
The Death of Death
536 Kč -
Biomedical Engineering
2072 Kč -
Corneal Biomechanics and Refractive Surgery
1350 Kč -
Clinical Kinesiology and Biomechanics
2533 Kč -
Medical Devices
2762 Kč -
Rehabilitation Robotics
2533 Kč -
Medical Device Guidelines and Regulations Handbook
2991 Kč -
Biodesign
2419 Kč -
Computational Nanomedicine and Nanotechnology
2303 Kč -
Introduction to Biomaterials
1973 Kč -
Safety Risk Management for Medical Devices
3587 Kč -
Clinical Simulation
5283 Kč -
Wearable Robotics
5283 Kč -
Comparative Kinesiology of the Human Body
3876 Kč -
Analog Electronics for Radiation Detection
2728 Kč -
Medical Device Quality Management Systems
4234 Kč -
Biomedical Microsystems
3995 Kč -
Inspection of Medical Devices
3222 Kč -
Rehabilitation Robotics and Healthcare Devices
4085 Kč -
Glucose Monitoring Devices
3448 Kč -
Medical Device Design
3319 Kč -
Principles of Biomedical Instrumentation
2481 Kč -
Essential Current Concepts in Stem Cell Biology
1729 Kč -
Anthropology of Biomedicine 2e
1585 Kč -
Carbon Quantum Dots in Biomedical Applications
6332 Kč -
Biomechanics of Human Motion
6021 Kč -
Synthetic Biopolymers for Drug Delivery
6178 Kč -
Temporomandibular Joint Total Joint Replacement - TMJ TJR
4002 Kč -
Drug Delivery and Biomedical Applications of Porous Silicon-Based Nanocarriers
6129 Kč -
Applied Science and Engineering of Wound Dressings and their Clinical Effectiveness
5938 Kč -
Introduction to Synthetic Biology
2074 Kč -
Handbook of Low-Level Laser Therapy
10722 Kč -
Medical Imaging Application in Health Assessment and Disease Management
4215 Kč -
Handbook of Thermosetting Foams, Aerogels, and Hydrogels
7118 Kč -
Quantum Dot Nanocarriers for Drug Delivery
6436 Kč -
Bioengineering Fluid Mechanics
2141 Kč -
Biomaterials
6060 Kč -
Computational and Network Modeling of Neuroimaging Data
2786 Kč -
Air-Puff Tonometers
2980 Kč -
Bioelectricity
4059 Kč -
Engineering and Medicine in Extreme Environments
4238 Kč -
Biomedical Engineering Handbook
32621 Kč -
Intelligent Medicine: Fundamentals to Future Perspectives
6620 Kč -
BIOMEDICAL APPLICATIONS OF SELF-HEALING POLYMERS
5766 Kč -
Stem Cells and Biomaterials for Regenerative Medicine
3344 Kč -
Artificial Intelligence in Dentistry
4002 Kč -
Carbon Quantum Dots as Carriers for Cancer Therapy
6029 Kč
O tomto obchodě
Nákupní rádce
Přehledy
Knihy podle jazyka
Osobní odběr Praha, Brno a 48021 dalších
Copyright ©2008-26 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies
Vrácení do měsíce
571 999 099 (8-15.30h)