Automated Technology for Verification and Analysis
2 contributors - Paperback
£44.99
Distributed Computing and Internet Technology
£69.99
Theoretical Aspects of Computing – ICTAC 2017