Kniha Using Event-B for Critical Device Software Systems Keith Glover

Using Event-B for Critical Device Software Systems

Autor: Keith Glover
Jazyk: Angličtina
Vazba: Brožovaná
Dostupnost: Skladem u dodavatele
Odesíláme za 9-15 dnů
1 003
Using Event-B for Critical Device Software Systems serves as a valuable resource for researchers and...

Informace o knize

Autor
Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2017
Stránek
334
EAN
9781981128860
ISBN
1981128867
Enbook ID
32284073
Hmotnost
775
Rozměry
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 zajímat

Flagship

Mike Carlton
494
444

Be With Me

Amy Jindra
330

Subject of Human Rights

Danielle Celermajer
3 203

Governing Partners

Russell L Hanson
4 690

Encephalitis Lethargica

Paul Bernard Foley
5 330

Red Wyvern

Katharine Kerr
344

Fugitives

Donald Campbell
230

Nebeski Putnici

Bepina Pincic
307
308
282

Hilary Putnam

James Conant
1 850

Automating Building Energy Management for Accelera ted Building Decarbonization

James (University of California Santa Cruz Extension) Kempf
2 672
4 253

Zákaznicí kteří koupili tuto knihu koupili také

494
757
1 022

Finanzas para emprendedores

ANTONIO MANZANERA ESCRIBANO
662