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: Puha kötésű
Elérhetőség: Kiadói készleten rendelésre
Küldés 17-27 napon belül
39 024 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 - Puha kötésű
Kiadva
2013
oldal
326
EAN
9781447157908
ISBN
1447157907
Enbook ID
09479723
Súly
5212
Méretek
155 x 18 x 19

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

14 500 Ft

Leaves

John Simmons
4 688 Ft

Lost Dog

Bill Cameron
5 083 Ft

Where's Dachshund Dax?

Delano van der Geest
6 548 Ft
3 982 Ft

From Cold War to Cyber War

Hans-Joachim Heintze
40 054 Ft
39 024 Ft

Debt Inheritance

Pepper Winters
3 800 Ft
1 887 Ft
61 098 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

Trace 7

Kei Koga
2 788 Ft
7 729 Ft

Rok kobylek

Terry Hayes
8 067 Ft
5 505 Ft
12 924 Ft
4 293 Ft

Critica de la crítica

Filiberto Menna
4 968 Ft

Flow

Mihaly Csikszentmihalyi
5 545 Ft