Books
Popular
Lists
Blog
About
Log In
Join Free
Home
/
Books
/
Krzysztof R. Apt
Krzysztof R. Apt
Verification of Sequential and Concurrent Programs (Monographs in Computer Science)
1991