Könyv Verification, Model Checking, and Abstract Interpretation Lenore D. Zuck

Verification, Model Checking, and Abstract Interpretation

4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings

Nyelv: Angol
Kötés: Puha kötésű
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
19 305 Ft
This book constitutes the refereed proceedings of the 4th International Conference on Verification,...

Információk a könyvről

Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2002
oldal
328
EAN
9783540003489
ISBN
3540003487
Enbook ID
01556086
Súly
1070
Méretek
155 x 233 x 19

Teljes leírás

This book constitutes the refereed proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2003, held in New York, NY, USA in January 2003.§The 20 revised full papers presented together with five invited contributions were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on static analysis, dynamic systems, abstract interpretation, model checking, security protocols, and formal methods.

Érdekelheti

76 883 Ft

Resocialising Europe in a Time of Crisis

Nicola Countouris & Mark Freedland
43 787 Ft
12 042 Ft
5 972 Ft
5 219 Ft
13 136 Ft

Land Warmed by a Song

Rustaveli Publishing LLC
7 196 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták