Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings - Lecture Notes in Computer Science - L D Zuck - Boeken - Springer-Verlag Berlin and Heidelberg Gm - 9783540003489 - 13 december 2002
Indien omslag en titel niet overeenkomen, is de titel correct

Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings - Lecture Notes in Computer Science 2003 edition

L D Zuck

Prijs
Fr. 58,99

Besteld in een afgelegen magazijn

Verwachte levering 16 - 25 jun.
Voeg toe aan uw iMusic-verlanglijst
Eller

Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings - Lecture Notes in Computer Science 2003 edition

This volume contains the proceedings of the 4th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2003), held in New York city, January 9-11, 2003.


340 pages, biography

Media Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 13 december 2002
ISBN13 9783540003489
Uitgevers Springer-Verlag Berlin and Heidelberg Gm
Pagina's 328
Afmetingen 155 × 233 × 18 mm   ·   798 g
Taal en grammatica Duits  
Uitgever Attie, Paul D.
Uitgever Cortesi, Agostino
Uitgever Mukhopadhyay, Supratik
Uitgever Zuck, Lenore D.