Könyv Using Event-B for Critical Device Software Systems Neeraj Kumar Singh

Using Event-B for Critical Device Software Systems

Nyelv: Angol
Kötés: Kemény kötésű
Elérhetőség: Beszállítói készleten
Küldés 10-13 napon belül
38 334 Ft
This book presents an innovative development approach for critical systems and prototype implementat...

Információk a könyvről

Nyelv
Angol
Kötés
Könyv - Kemény kötésű
Kiadva
2013
oldal
326
EAN
9781447152590
ISBN
144715259X
Enbook ID
01426259
Súly
6387
Méretek
155 x 235 x 24

Teljes leírás

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.

Érdekelheti

Shower of Stars

John J. Pullen
15 330 Ft
9 656 Ft

Forest Tree Plantation

Thomas Jonathan Burrill
9 937 Ft

Transatlantic Divide

Alberto Martinelli
9 553 Ft

Light Microscopy

Helio Chiarini-Garcia
52 562 Ft

Adaptive Speciation

Ulf DieckmannMichael DoebeliJohan A. J. MetzDiethard Tautz
27 535 Ft

Selected Stories

Alice Munro
4 330 Ft

Erin and Iran

Grace Neville
10 375 Ft

Koufonisi, Crete

Emory Christer
38 647 Ft

How America Was Born

Diana McCumiskey
5 268 Ft

Scenes for Teens, by Teens

Diane Christiansen
3 455 Ft
3 170 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták