Besplatna dostava Overseas kurirskom službom iznad 59.99 €
Overseas 4.99 Pošta 4.99 DPD 5.99 GLS 3.99 GLS paketomat 3.49 Box Now 4.49

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 59,99 €!

Using Event-B for Critical Device Software Systems

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Using Event-B for Critical Device Software Systems Keith Glover
Libristo kod: 32284073
Using Event-B for Critical Device Software Systems serves as a valuable resource for researchers and... Cijeli opis
? points 120 b
47.81
Vanjske zalihe Šaljemo za 15-20 dana

30 dana za povrat kupljenih proizvoda


Moglo bi vas zanimati i


Subject of Human Rights Danielle Celermajer / Tvrdi uvez
common.buy 147.68
Be With Me Amy Jindra / Meki uvez
common.buy 15.80
Handbook of Research on Herbal Liver Protection T. Pullaiah / Tvrdi uvez
common.buy 280.98

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

Informacije o knjizi

Puni naziv Using Event-B for Critical Device Software Systems
Autor Keith Glover
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2017
Broj stranica 334
EAN 9781981128860
ISBN 1981128867
Libristo kod 32284073
Težina 775
Dimenzije 216 x 280 x 18
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun