Placeholder text
Theoretical Aspects of Computing - ICTAC 2025
By Zhiming Liu
- Default Title
Description
The 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.
Product details
Binding:
Paperback
Number of Pages:
496
Release Date:
2025-11-23
Publication Date:
2025-11-23
Publisher:
Springer
Languages:
Original:
English
ISBN10:
3032111757
ISBN13:
9783032111753
GPSR Manufacturer Reference:
Weight:
744 g
Height:
155 cm
Width:
235 cm
Thickness:
27 cm
Currently sold out