Verification, Model Checking, and Abstract Interpretation - 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings (Paperback, 2003 ed.)

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.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 2575
Release date:	December 2002
First published:	2003
Editors:	Lenore D. Zuck • Paul D. Attie • Agostino Cortesi • Supratik Mukhopadhyay
Dimensions:	233 x 155 x 18mm (L x W x T)
Format:	Paperback
Pages:	328
Edition:	2003 ed.
ISBN-13:	978-3-540-00348-9
Categories:	Books > Computing & IT > Computer programming > General
LSN:	3-540-00348-7
Barcode:	9783540003489

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!