Doprava zdarma se Zásilkovnou nad 1 299 Kč
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
GLS 54 Kč
Kurýr GLS 64 Kč
Zásilkovna 44 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 64 Kč
Zásilkovna 44 Kč
PPL 99 Kč
Doprava zdarma se Zásilkovnou nad 1 299 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
Abstraction, Refinement and Proof for Probabilistic Systems
Jazyk
Angličtina
Angličtina
Kniha
Brožovaná
Illustrates by example the typical steps necessary in computer science to build a mathematical model...
Libristo kód: 05256930
?
467 b
467 b
4 673
Kč
Skladem u dodavatele v malém množství
Odesíláme za 10-15 dnů
30 dní na vrácení zboží
Mohlo by vás také zajímat
/
Brožovaná
556
Kč
Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm .§Presents results of a large and integrated body of research in the area of 'quantitative' program logics.§
Informace o knize
Plný název
Abstraction, Refinement and Proof for Probabilistic Systems
Jazyk
Angličtina
Angličtina
Vazba
Kniha - Brožovaná
Datum vydání
2010
Počet stran
388
EAN
9781441923127
ISBN
1441923128
Libristo kód
05256930
Nakladatelství
Springer-Verlag New York Inc.
Váha
617
Rozměry
155 x 235 x 235
Kategorie
Výpočetní a informační technologie
>
Počítačové programování/softwarové inženýrství
>
Překladače a interpretry
Výpočetní a informační technologie
>
Počítačové programování/softwarové inženýrství
>
Programovací a skriptovací jazyky: obecně
