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: 41.45 EUR
Availability: InStock

Autor: Keith Glover

Jazyk:

Väzba: Brožovaná

Vydavateľ: Createspace Independent Publishing Platform

Dostupnosť: Skladom u dodávateľa

Odosielame za 9-15 dní

41.45 €

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

Informácie o knihe

Autor

Keith Glover

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2017

Stránok

334

EAN

9781981128860

ISBN

1981128867

Enbook ID

32284073

Vydavateľ

Createspace Independent Publishing Platform

Hmotnosť

775

Rozmery

216 x 280 x 18

Kompletný popis

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

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Using Event-B for Critical Device Software Systems

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež