Compositional Verification of Concurrent and Real-Time Systems

Compositional Verification of Concurrent and Real-Time Systems

AngličtinaMěkká vazbaTisk na objednávku
Juan Eric Y.T.
Springer-Verlag New York Inc.
EAN: 9781461353492
Tisk na objednávku
Předpokládané dodání v pondělí, 13. července 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 9781461353492
ISBN 1461353491
Typ produktu Měkká vazba
Vydavatel Springer-Verlag New York Inc.
Datum vydání 26. října 2012
Stránky 196
Jazyk English
Rozměry 235 x 155
Země United States
Sekce Professional & Scholarly
Autoři Juan Eric Y.T.; Tsai, Jeffrey J.P.
Ilustrace XIX, 196 p.
Edice Softcover reprint of the original 1st ed. 2002
Série Springer International Series in Engineering and Computer Science
Informace o výrobci
Kontaktní informace výrobce jsou dostupné zde.