Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł
DPD 25.99 zł
Paczkomat 13.99 zł
Poczta Polska 18.99 zł
ORLEN Paczka 10.99 zł
Jak kupować
Pomoc
Dostawa
InPost 13.99 zł
DPD 25.99 zł
Paczkomat 13.99 zł
Poczta Polska 18.99 zł
ORLEN Paczka 10.99 zł
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
Doradca ds. zakupów
Jesteśmy tu dla Ciebie!
(32) 444 93 66
Moje konto
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści.
Załóż konto bezpłatnie
▸
Pusty :-(
0
Using Event-B for Critical Device Software Systems
Język
Angielski
Angielski
Książka
Miękka
Using Event-B for Critical Device Software Systems serves as a valuable resource for researchers and...
Cały opis
Kod Libristo: 32284073
?
127 b
127 b
215.15
zł
Dostępna u dostawcy
Wysyłamy za 15-20 dni
30 dni na zwrot towaru
Mogłoby Cię także zainteresować
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
Informacje o książce
Pełna nazwa
Using Event-B for Critical Device Software Systems
Autor
Keith Glover
Język
Angielski
Angielski
Oprawa
Książka - Miękka
Data wydania
2017
Liczba stron
334
EAN
9781981128860
ISBN
1981128867
Kod Libristo
32284073
Wydawnictwo
Createspace Independent Publishing Platform
Waga
775
Wymiary
216 x 280 x 18
