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
FM 2015: Formal Methods
Jazyk
Angličtina
Angličtina
Kniha
Brožovaná
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods...
Celý popis
Libristo kód: 09277583
?
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
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.
Informace o knize
Plný název
FM 2015: Formal Methods
Autor
Nikolaj Bj?rner, Frank de Boer
Jazyk
Angličtina
Angličtina
Vazba
Kniha - Brožovaná
Datum vydání
2015
Počet stran
610
EAN
9783319192482
ISBN
3319192485
Libristo kód
09277583
Nakladatelství
Springer International Publishing AG
Váha
9358
Rozměry
155 x 235 x 235
Kategorie
Výpočetní a informační technologie
>
Informatika
>
Interakce člověk – počítač
>
Design uživatelského rozhraní a použitelnost
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
