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
Formal Aspects of Component Software
Jazyk
Angličtina
Angličtina
Kniha
Brožovaná
This book constitutes revised selected papers from the International Symposium on Formal Aspects of...
Celý popis
Libristo kód: 09178597
?
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
550
Kč
This book constitutes revised selected papers from the International Symposium on Formal Aspects of Component Software, FACS 2014, held in Bertinoro, Italy, in September 2014.§§The 20 full papers presented in this volume were carefully reviewed and selected from 44 submissions. They are organized in topical sections named: compositional approaches; adaptation and evolution; application and experience; tools; scheduling, time and hybrid systems; other verification approaches; and safety and liveness of composition. The volume also contains two invited talks, one full paper and one abstract.§
Informace o knize
Plný název
Formal Aspects of Component Software
Autor
Ivan Lanese, Eric Madelaine
Jazyk
Angličtina
Angličtina
Vazba
Kniha - Brožovaná
Datum vydání
2015
Počet stran
385
EAN
9783319153162
ISBN
3319153161
Libristo kód
09178597
Nakladatelství
Springer International Publishing AG
Váha
5971
Rozměry
155 x 235 x 20
Kategorie
Výpočetní a informační technologie
>
Informatika
>
Interakce člověk – počítač
>
Informační architektura
Výpočetní a informační technologie
>
Počítačový hardware
>
Hardware počítačových a informačních technologií: údržba a opravy
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ě
