Using Event-B for Critical Device Software Systems

Using Event-B for Critical Device Software Systems

AngličtinaMěkká vazbaTisk na objednávku
Singh Neeraj Kumar
Springer London Ltd
EAN: 9781447157908
Tisk na objednávku
Předpokládané dodání v pátek, 28. srpna 2026
2 351 Kč
Běžná cena: 2 612 Kč
Sleva 10 %
ks
Chcete tento titul ještě dnes?
knihkupectví Megabooks Praha Korunní
není dostupné
Librairie Francophone Praha Štěpánská
není dostupné
knihkupectví Megabooks Ostrava
není dostupné
knihkupectví Megabooks Olomouc
není dostupné
knihkupectví Megabooks Plzeň
není dostupné
knihkupectví Megabooks Brno
není dostupné
knihkupectví Megabooks Hradec Králové
není dostupné
knihkupectví Megabooks České Budějovice
není dostupné
knihkupectví Megabooks Liberec
není dostupné
EAN 9781447157908
ISBN 1447157907
Typ produktu Měkká vazba
Vydavatel Springer London Ltd
Datum vydání 7. července 2015
Stránky 326
Jazyk English
Rozměry 235 x 155
Země United Kingdom
Sekce Professional & Scholarly
Autoři Singh Neeraj Kumar
Ilustrace XVIII, 326 p.
Informace o výrobci
Kontaktní informace výrobce jsou dostupné zde.