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
Integrated Formal Methods
Jazyk
Angličtina
Angličtina
Kniha
Brožovaná
This book constitutes the refereed proceedings of the Second International Conference on Integrated...
Celý popis
Libristo kód: 01563119
?
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 Second International Conference on Integrated Formal Methods, IFM 2000, held in Dagstuhl, Germany in November 2000.The 22 revised full papers presented together with the abstracts of two invited talks were carefully reviewed and selected from 58 submissions. The papers are grouped together in topical sections on linking and extending notations, methodology, foundation of one formalism by another, semantics, and verification and validation.
Informace o knize
Plný název
Integrated Formal Methods
Jazyk
Angličtina
Angličtina
Vazba
Kniha - Brožovaná
Datum vydání
2000
Počet stran
446
EAN
9783540411963
ISBN
3540411968
Libristo kód
01563119
Nakladatelství
Springer, Berlin
Váha
700
Rozměry
155 x 235 x 23
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ě
