Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Verification, Model Checking, and Abstract Interpretation

Name: Verification, Model Checking, and Abstract Interpretation
Brand: Springer, Berlin
SKU: 01564296
Price: 222.03 PLN
Availability: InStock
Author: Agostino Cortesi
ISBN: 9783540436317

Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers

Agostino Cortesi

Język

Angielski

Książka Miękka

Kod Libristo: 01564296

Wydawnictwo Springer, Berlin, listopad 2001

This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop o... Cały opis

Kod Libristo: 01564296

125 b

222.03 zł

Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Wirtschaftswissenschaftliche Ausarbeitung, Sammelband I J. Egli

Miękka

96.46 zł

La cuisine vietnamienne illustrée Nathalie Nguyen

Miękka

78.65 zł

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.