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

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