Sell, buy or rent Agostino Cortesi textbooks
Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings (Lecture Notes in Computer Science, 1694)
by
Agostino Cortesi, Gilberto File
ISBN-13: 9783540664598
ISBN-10: 3540664599
Edition: 1999
Publisher:
Springer
Format:
Paperback
368 pages
Advanced Computing and Systems for Security: Volume 2 (Advances in Intelligent Systems and Computing, 396)
by
Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki
ISBN-13: 9788132226512
ISBN-10: 8132226518
Edition: 1st ed. 2016
Publication date: 2015
Publisher:
Springer
Format:
Paperback
334 pages
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, 2575)
by
Lenore D. Zuck, Paul D. Attie, Agostino Cortesi, Supratik Mukhopadhyay
ISBN-13: 9783540003489
ISBN-10: 3540003487
Edition: 2003
Publication date: 2002
Publisher:
Springer
Format:
Paperback
340 pages
Computer Information Systems - Analysis and Technologies: 10th International Conference, CISIM 2011, Held in Kolkata, India, December 14-16, 2011. ... in Computer and Information Science, 245)
by
Nabendu Chaki, Agostino Cortesi
ISBN-13: 9783642272448
ISBN-10: 3642272444
Edition: 2011
Publisher:
Springer
Format:
Paperback
339 pages
Applied Computing for Software and Smart Systems: Proceedings of ACSS 2022 (Lecture Notes in Networks and Systems, 555)
by
Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki
ISBN-13: 9789811967900
ISBN-10: 9811967903
Edition: 1st ed. 2023
Publication date: 2023
Publisher:
Springer
Format:
Paperback
319 pages
Advanced Computing and Systems for Security: Volume Seven (Advances in Intelligent Systems and Computing, 897)
by
Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki
ISBN-13: 9789811332494
ISBN-10: 9811332495
Edition: 1st ed. 2019
Publication date: 2018
Publisher:
Springer
Format:
Paperback
181 pages