Language, Logic, and Computation المزيد من كتب Alexandra Silva, Sam Staton, Peter Sutton & Carla Umbach

Computer Aided Verification Computer Aided Verification
Computer Aided Verification
٢٠٢١
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
٢٠٢١
Formal Techniques for Distributed Objects, Components, and Systems Formal Techniques for Distributed Objects, Components, and Systems
Formal Techniques for Distributed Objects, Components, and Systems
٢٠١٧