Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
GLS 54 Kč
Kurýr GLS 74 Kč
Zásilkovna 49 Kč
PPL 99 Kč
Jak nakupovat
Pomoc
Doručení
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
GLS 54 Kč
Kurýr GLS 74 Kč
Zásilkovna 49 Kč
PPL 99 Kč
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Nákupní rádce
Jsme tu pro vás!
571 999 090
Můj účet
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod.
Založit účet zdarma
▸
Prázdný :-(
0
Tools and Algorithms for the Construction and Analysis of Systems
Jazyk
Angličtina
Angličtina
Kniha
Brožovaná
This proceedings volume examines parameterized systems, model checking, applications, static analysi...
Libristo kód: 01570065
?
154 b
154 b
1 540
Kč
včetně DPH
Skladem u dodavatele v malém množství
Odesíláme za 13-16 dnů
30 dní na vrácení zboží
Mohlo by vás také zajímat
/
Brožovaná
2 108
Kč
/
Pevná
6 583
Kč
This proceedings volume examines parameterized systems, model checking, applications, static analysis, concurrent/distributed systems, symbolic execution, abstraction, interpolation, trust, and reputation.
Informace o knize
Plný název
Tools and Algorithms for the Construction and Analysis of Systems
Autor
C.R. Ramakrishnan, Jakob Rehof
Jazyk
Angličtina
Angličtina
Vazba
Kniha - Brožovaná
Datum vydání
2008
Počet stran
520
EAN
9783540787990
ISBN
3540787992
Libristo kód
01570065
Nakladatelství
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha
819
Rozměry
155 x 235 x 29
