Computer-Aided Verification: 2nd International Conference, Cav '90 New Brunswick, Nj, Usa, June 18-21, 1990 Proceedings (Lecture Notes in Computer Science)
Add this copy of Computer-Aided Verification: 2nd International to cart. $15.73, good condition, Sold by Bookmans rated 4.0 out of 5 stars, ships from Tucson, AZ, UNITED STATES, published 1991 by Springer.
Computer-Aided Verification: 2nd International Conference, Cav '90 New Brunswick, Nj, Usa, June 18-21, 1990 Proceedings (Lecture Notes in Computer Science)
Add this copy of Computer-Aided Verification: 2nd International to cart. $61.33, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 1991 by Springer Verlag.
