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: 185.26 PLN
Availability: InStock

Autor: Keith Glover

Język:

Oprawa: Miękka

Wydawca: Createspace Independent Publishing Platform

Dostępność: Dostępna u dostawcy

Wysyłamy za 9-15 dni

185.26 zł

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

Informacje o książce

Autor

Keith Glover

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2017

strony

334

EAN

9781981128860

ISBN

1981128867

Enbook ID

32284073

Wydawca

Createspace Independent Publishing Platform

Waga

775

Wymiary

216 x 280 x 18

Pełny opis

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

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Using Event-B for Critical Device Software Systems

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również