Using Event-B for Critical Device Software Systems

Name: Using Event-B for Critical Device Software Systems
Brand: Createspace Independent Publishing Platform
SKU: 9781981128860
Price: 17116 HUF
Availability: InStock

Szerző: Keith Glover

Nyelv:

Kötés: Puha kötésű

Kiadó: Createspace Independent Publishing Platform

Elérhetőség: Beszállítói készleten

Küldés 14-21 napon belül

17 116 Ft

Using Event-B for Critical Device Software Systems serves as a valuable resource for researchers and...

Információk a könyvről

Szerző

Keith Glover

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2017

oldal

334

EAN

9781981128860

ISBN

1981128867

Enbook ID

32284073

Kiadó

Createspace Independent Publishing Platform

Súly

775

Méretek

216 x 280 x 18

Teljes leírás

Using Event-B for Critical Device Software Systems serves as a valuable resource for researchers and students of formal methods. The assessment of critical systems development is applicable to all industries, but engineers and physicians from the health do

Érdekelheti

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

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Using Event-B for Critical Device Software Systems

Információk a könyvről

Teljes leírás

Érdekelheti

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