Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Verification, Model Checking, and Abstract Interpretation

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

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

Agostino Cortesi

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 01564296

Založba Springer, Berlin, november 2001

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

Koda Libristo: 01564296

125 b

51.68 €

50% možnost Preiskali bomo ves svet Kdaj dobim knjigo?

Do 30 dni za vračilo

Drugi so kupili tudi

Wirtschaftswissenschaftliche Ausarbeitung, Sammelband I J. Egli

Mehka

21.17 €

La cuisine vietnamienne illustrée Nathalie Nguyen

Mehka

16.71 €

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.