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
-
Flow
314 Kč -
Rok kobylek
559 Kč -
Fiat Bravo e Brava. 1995-2002
549 Kč -
Debt Inheritance
237 Kč -
Getting Started with Hazelcast -
925 Kč -
China and the Future of Globalization
961 Kč -
Science Teacher Educators as K-12 Teachers
2357 Kč -
Struktur und Funktionsmechanismus der mitochondrialen m-AAA-Protease
1419 Kč -
Querida comida, querida salud : una guía científica y sencilla para vivir más y mejor
509 Kč -
From Cold War to Cyber War
2357 Kč -
Delta II and III Space Operations at Cape Canaveral 1989-2009
488 Kč -
Notions de Sciences, Avec Leurs Applications A l'Agriculture, A l'Usage Des Ecoles Primaires
743 Kč -
Ornithologische Briefe - Bler der Erinnerung an seine Freunde
550 Kč -
![Ieithiadur Neu Ramadeg Cymraeg. 2. Argraph. [of Gramadeg Cymraeg].](https://media.libris.to/jacket/29226590t.jpg "Ieithiadur Neu Ramadeg Cymraeg. 2. Argraph. [of Gramadeg Cymraeg].")
Ieithiadur Neu Ramadeg Cymraeg. 2. Argraph. [of Gramadeg Cymraeg].
388 Kč -
Calling The Devil
269 Kč -
Comets and the Origin of Life
3532 Kč -
Betriebswirtschaftslehre: Systeme, Entscheidungen, Methoden
1214 Kč -
Acts of the General Assembly of the State of Florida: Passed at It's Fourth Session, 1848; 1848
423 Kč -
Advanced Principles of Molecular Virology
3255 Kč -
Loose Cannons
391 Kč -
UN VOLCAN EXPLOTO EL DIA QUE TE CONOCI
524 Kč
Darujte tuto knihu ještě dnes
- Objednejte knihu a zvolte Zaslat jako dárek.
- Obratem obdržíte darovací poukaz na knihu, který můžete ihned předat obdarovanému.
- Knihu zašleme na adresu obdarovaného, o nic se nestaráte.
Více informací o knize Using Event-B for Critical Device Software Systems
Nákupem získáte 236 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
2357 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
-
Ultimate BMAT Guide - 600 Practice Questions
754 Kč -
Introduction To Bioengineering
1793 Kč -
The Death of Death
536 Kč -
Biomedical Engineering
2073 Kč -
Corneal Biomechanics and Refractive Surgery
1155 Kč -
Clinical Kinesiology and Biomechanics
2533 Kč -
Medical Devices
2762 Kč -
Rehabilitation Robotics
2533 Kč -
Medical Device Guidelines and Regulations Handbook
2991 Kč -
Biodesign
2304 Kč -
Introduction to Biomaterials
1974 Kč -
Safety Risk Management for Medical Devices
3588 Kč -
Computational Nanomedicine and Nanotechnology
2303 Kč -
Clinical Simulation
5283 Kč -
Comparative Kinesiology of the Human Body
4045 Kč -
Wearable Robotics
5283 Kč -
Analog Electronics for Radiation Detection
2601 Kč -
Medical Device Quality Management Systems
4234 Kč -
Inspection of Medical Devices
3222 Kč -
Biomedical Microsystems
3995 Kč -
MATLAB Programming for Biomedical Engineers and Scientists
1321 Kč -
Rehabilitation Robotics and Healthcare Devices
4085 Kč -
Glucose Monitoring Devices
3448 Kč -
Principles of Biomedical Instrumentation
2481 Kč -
Essential Current Concepts in Stem Cell Biology
1729 Kč -
Carbon Quantum Dots in Biomedical Applications
6332 Kč -
Biomechanics of Human Motion
5607 Kč -
Biomechanics for Instructors
2762 Kč -
Handbook of Low-Level Laser Therapy
10722 Kč -
Anthropology of Biomedicine 2e
1585 Kč -
Biomedical Engineering Handbook
32621 Kč -
Synthetic Biopolymers for Drug Delivery
6346 Kč -
Temporomandibular Joint Total Joint Replacement - TMJ TJR
4002 Kč -
Medical Device Design
3488 Kč -
Artificial Intelligence in Dentistry
4002 Kč -
Drug Delivery and Biomedical Applications of Porous Silicon-Based Nanocarriers
6298 Kč -
Handbook of Thermosetting Foams, Aerogels, and Hydrogels
7118 Kč -
Applied Science and Engineering of Wound Dressings and their Clinical Effectiveness
5938 Kč -
Introduction to Synthetic Biology
2074 Kč -
Medical Imaging Application in Health Assessment and Disease Management
4384 Kč -
Engineering and Medicine in Extreme Environments
4238 Kč -
Quantum Dot Nanocarriers for Drug Delivery
6436 Kč -
Bioengineering Fluid Mechanics
2189 Kč -
Computational and Network Modeling of Neuroimaging Data
2954 Kč -
Stem Cells and Biomaterials for Regenerative Medicine
3512 Kč -
Air-Puff Tonometers
3851 Kč -
Artificial Intelligence in Dentistry
4002 Kč -
Bioelectricity
3532 Kč -
Biomaterials
6061 Kč
O tomto obchodě
Nákupní rádce
Přehledy
Knihy podle jazyka
Osobní odběr Praha, Brno a 47484 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)