ISBN 3031436776 books & textbook

Formal Methods for an Informal World: ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures (Lecture Notes in Computer Science)

Cerone, Antonio

Springer /2023-11-05 Paperback / 184 Pages
isbn-10: 3031436776 / isbn-13: 9783031436772