Formal Methods for an Informal World: Ictac 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures 2023 Edition Contributor(s): Cerone, Antonio (Editor) |
|
ISBN: 3031436776 ISBN-13: 9783031436772 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback Published: November 2023 |
Additional Information |
BISAC Categories: - Computers | Software Development & Engineering - General - Computers | Programming - General - Computers | Computer Science |
Physical Information: 0.39" H x 6.14" W x 9.21" (0.59 lbs) 169 pages |