Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
PPL 99 Kč
Zásilkovna 54 Kč
Jak nakupovat
Pomoc
Doručení
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
PPL 99 Kč
Zásilkovna 54 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
Formal Techniques for Distributed Objects, Components, and Systems
Jazyk
Angličtina
Angličtina
Kniha
Brožovaná
This book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal Tec...
Celý popis
Libristo kód: 02668867
?
168 b
168 b
1 681
Kč
Skladem u dodavatele v malém množství
Odesíláme za 14-18 dnů
30 dní na vrácení zboží
Mohlo by vás také zajímat
This book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2014, held in Berlin, Germany, in June 2014, as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014. The 18 revised full papers presented were carefully reviewed and selected from 50 submissions. The papers present a wide range of topics on specification languages and type systems, monitoring and testing, security analysis and bisimulation, abstraction and reduction.
Informace o knize
Plný název
Formal Techniques for Distributed Objects, Components, and Systems
Jazyk
Angličtina
Angličtina
Vazba
Kniha - Brožovaná
Datum vydání
2014
Počet stran
301
EAN
9783662436127
ISBN
3662436124
Libristo kód
02668867
Nakladatelství
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha
4803
Rozměry
155 x 235 x 18
