Doprava zadarmo s Packetou nad 59.99 €
Pošta 4.49 €
SPS 4.99 €
Kuriér GLS 3.99 €
Zberné miesto GLS 2.99 €
Packeta kurýr 4.99 €
Packeta 2.99 €
SPS Parcel Shop 2.99 €
Ako nakupovať
Pomoc
Doručenie
Pošta 4.49 €
SPS 4.99 €
Kuriér GLS 3.99 €
Zberné miesto GLS 2.99 €
Packeta kurýr 4.99 €
Packeta 2.99 €
SPS Parcel Shop 2.99 €
Doprava zadarmo s Packetou nad 59.99 €
Nákupný poradca
Sme tu pre Vás!
02/210 210 99
Môj účet
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod.
Založiť účet zdarma
▸
Prázdny :-(
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
61.28
€
Skladom u dodávateľa v malom množstve
Odosielame za 13-16 dní
30 dní na vrátenie tovaru
Mohlo by vás tiež zaujímať
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.
Informácie o knihe
Celý názov
Integrated Formal Methods
Jazyk
Angličtina
Angličtina
Väzba
Kniha - Brožovaná
Dátum vydania
2000
Počet strán
446
EAN
9783540411963
ISBN
3540411968
Libristo kód
01563119
Nakladateľstvo
Springer, Berlin
Váha
700
Rozmery
155 x 235 x 23
Kategórie
Výpočtové a informačné technológie
>
Počítačové programovanie/softvérové inžinierstvo
>
Prekladače a interpretre
Výpočtové a informačné technológie
>
Počítačové programovanie/softvérové inžinierstvo
>
Programovacie a skriptovacie jazyky: všeobecne
