-
-77%
Computer Aided Verification: 7th International Conference, CAV ’95, Liege, Belgium, July 3 – 5, 1995. Proceedings: 7th: International Conference, CAV ’95, Liege, Belguim, July 3-5, 1995 – Proceedings (Lecture Notes in Computer Science)
0Original price was: $78.00.$18.00Current price is: $18.00.Computer Aided Verification: 7th International Conference, CAV ’95, Liege, Belgium, July 3 – 5, 1995. Proceedings: 7th: International Conference, CAV ’95, Liege, Belguim, July 3-5, 1995 – Proceedings (Lecture Notes in Computer Science), Pierre Bernard, 9783540600459
