ISBN.nu logo
isbn.nu
search for books and compare prices
Search >
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 9783540664598
1
cover image for 9783642272448
Product Description: This book constitutes the refereed proceedings of the 10th International Conference on Computer Information Systems, CISIM 2011, held in Kolkata, India, in December 2011. The 30 revised full papers presented together with 6 keynote tasks and plenary lectures were carefully reviewed and selected from 67 submissions...read more
By Nabendu Chaki (editor) and Agostino Cortesi (editor)
Edition summary (click for prices and details):

Paperback:

9783642272448 | Springer-Verlag New York Inc, January 15, 2012, cover price $109.00 | About this edition: This book constitutes the refereed proceedings of the 10th International Conference on Computer Information Systems, CISIM 2011, held in Kolkata, India, in December 2011.

2
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
Edition summary (click for prices and details):

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?

4
cover image for 9783540664598
Product Description: Static analysis is increasingly recognized as a fundamental reasearch area aimed at studying and developing tools for high performance implementations and v- i cation systems for all programming language paradigms. The last two decades have witnessed substantial developments in this eld, ranging from theoretical frameworks to design, implementation, and application of analyzers in optim- ing compilers...read more
Edition summary (click for prices and details):

Paperback:

9783540664598 | Springer Verlag, June 1, 1999, cover price $109.00 | About this edition: Static analysis is increasingly recognized as a fundamental reasearch area aimed at studying and developing tools for high performance implementations and v- i cation systems for all programming language paradigms.

displaying 1 to 4 | at end