{"product_id":"liu-zhiming-theoretical-aspects-of-computing-ictac-2025-9783032111753","title":"Theoretical Aspects of Computing - ICTAC 2025","description":"This book constitutes the proceedings of 22nd International Colloquium on Theoretical Aspects of Computing, ICTAC 2025, which took place in Marrakesh, Morocco, during November 24–28, 2025.\n\u003cbr\u003e\nThe 21 full papers, 2 short papers and 1 tool paper presented in this book were carefully reviewed and selected from 64 submissions. The papers were categorized into the following topical sections: Invited Papers; Tutorial; Verification and Synthesis; Session Types; Logic and Theorem Provers; Probabilistic Systems; Automata; Cryptography and Choreography; Algorithms and Complexity; and Tool and Short Papers.","brand":"Springer","offers":[{"title":"Default Title","offer_id":53808961978710,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"url":"https:\/\/www.momoxbooks.com\/products\/liu-zhiming-theoretical-aspects-of-computing-ictac-2025-9783032111753","provider":"momoxbooks","version":"1.0","type":"link"}