search for books and compare prices
Agostino Cortesi has written 4 work(s)
Search for other authors with the same name
displaying 1 to 4 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
Cover for 9783642272448 Cover for 9783540003489 Cover for 9783540436317 Cover for 9783540664598
Computer Information Systems: Analysis and Technologies: 10th International Conference, CISIM 2011 Kolkata, India, December 14-16, 2011 Proceedings
cover image for 9783642272448
By Nabendu Chaki (editor) and Agostino Cortesi (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783642272448 | Springer-Verlag New York Inc, January 15, 2012, cover price $119.00

Verification, Model Checking, and Abstract Interpretation: 4th International Conference, Vmcai 2003, New York, Ny, Usa, January 2003 : Proceedings
cover image for 9783540003489
Product Description: 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. The purpose of VMCAI was to provide a forum for researchers from three communities―Veri?cation, Model Checking, and Abstract Interpretation―that will facilitate interaction, cross-fertilization, and the advance of hybrid methods that combine the three areas...read more
By Paul C. Attie (editor), Agostino Cortesi (editor), Supratik Mukhopadhyay (editor), Vmcai 200 (other contributor) and Lenore D. Zuck
See complete details on each edition (1 edition listed)

Paperback:

9783540003489 | Springer Verlag, January 1, 2003, cover price $109.00 | About this edition: This volume contains the proceedings of the 4th International Conference on Veri?

Verification, Model Checking, and Abstract Interpretation: Third International Workshop, Vmcai 2002, Venice, Italy, January 21-22, 2002, Revised Papers
cover image for 9783540436317
Product Description: This volume contains the revised version of papers presented at VMCAI 2002, theThirdInternationalWorkshoponVeri?cation,ModelChecking,andAbstract Interpretation, Venice (Italy), January 21-22, 2002. Themaingoaloftheworkshopwastogiveanoverviewofthemaindirections decisive for the growth and cross-fertilization of major research activities in programanalysis and veri?cation...read more (view table of contents, read Amazon.com's description)
By Agostino Cortesi (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783540436317 | Springer Verlag, June 1, 2002, cover price $99.00 | About this edition: This volume contains the revised version of papers presented at VMCAI 2002, theThirdInternationalWorkshoponVeri?

Static Analysis: 6th International Symposium, Sas'99, Venice, Italy, September 22-24, 1999 : Proceedings
cover image for 9783540664598
Product Description: This volume contains the Proceedings of the International Symposium on C- puting in Object-Oriented Parallel Environments (ISCOPE ’98), held at Santa 1 Fe, New Mexico, USA on December 8{11, 1998. ISCOPE is in its second year, and continues to grow both in attendance and in the diversity of the subjects covered...read more
By Agostino Cortesi, Gilberto File and International Static Analysis Symposium 1999 (other contributor)
See complete details on each edition (1 edition listed)

Paperback:

9783540664598 | Springer Verlag, June 1, 1999, cover price $109.00 | About this edition: This volume contains the Proceedings of the International Symposium on C- puting in Object-Oriented Parallel Environments (ISCOPE ’98), held at Santa 1 Fe, New Mexico, USA on December 8{11, 1998.

displaying 1 to 4 | at end