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
Verification, Model Checking, and Abstract Interpretation
Jazyk
Angličtina
Angličtina
Kniha
Brožovaná
This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop o...
Celý popis
Libristo kód: 01564296
?
154 b
154 b
61.42
€
Skladom u dodávateľa v malom množstve
Odosielame za 13-16 dní
30 dní na vrátenie tovaru
This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Verification, Model Checking, and Abstract Interpretation, VMCAI 2002, held in Venice, Italy in January 2002.The 22 revised full papers presented were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on security and protocols, timed systems and games, static analysis, optimization, types and verification, and temporal logics and systems.
Informácie o knihe
Celý názov
Verification, Model Checking, and Abstract Interpretation
Autor
Agostino Cortesi
Jazyk
Angličtina
Angličtina
Väzba
Kniha - Brožovaná
Dátum vydania
2002
Počet strán
331
EAN
9783540436317
ISBN
3540436316
Libristo kód
01564296
Nakladateľstvo
Springer, Berlin
Váha
490
Rozmery
155 x 235 x 18
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
