Language, Logic, and Computation Alexandra Silva, Sam Staton, Peter Sutton & Carla Umbach: другие книги

Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2021
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2021
Formal Techniques for Distributed Objects, Components, and Systems Formal Techniques for Distributed Objects, Components, and Systems
Formal Techniques for Distributed Objects, Components, and Systems
2017