Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod.
Založit účet zdarma
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč
Balíkovna 69 Kč
PPL kurýr 74 Kč
PPL box 39 Kč
Zásilkovna 39 Kč
Výdejní místo DPD 49 Kč
PPL shop 49 Kč
Balíkovna 49 Kč
Kontakt
Jak nakupovat
Pomoc
Doručení
Kurýr DPD 69 Kč
Balíkovna 69 Kč
PPL kurýr 74 Kč
PPL box 39 Kč
Zásilkovna 39 Kč
Výdejní místo DPD 49 Kč
PPL shop 49 Kč
Balíkovna 49 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
▸
Prázdný
0
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.
Integrated Formal Methods
9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Jazyk
Angličtina
Angličtina
Kniha
Brožovaná
This book constitutes the refereed proceedings of the 9th International Conference on Integrated For...
Celý popis
Libristo kód: 01661330
?
118 b
118 b
1 182
Kč
Skladem u dodavatele
Odesíláme za 5-8 dnů
Až 30 dní na vrácení zboží
Zákazníci také koupili
This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 59 submissions. The papers cover the spectrum of integrated formal methods, ranging from formal and semiformal notations, semantics, proof frameworks, refinement, verification, timed systems, as well as tools and case studies.
Herečka
&
Polyglotka
EWA KASP
pro
Přehrát video
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.
Informace o knize
Plný název
Integrated Formal Methods
Jazyk
Angličtina
Angličtina
Vazba
Kniha - Brožovaná
Datum vydání
2012
Počet stran
360
EAN
9783642307287
ISBN
3642307280
Libristo kód
01661330
Nakladatelství
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha
563
Rozměry
155 x 235 x 21
Kategorie
Výpočetní a informační technologie
>
Počítačové programování/softwarové inženýrství
>
Algoritmy a datové struktury
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ě
