Showing 1 - 2 of 2 Results
1.
Computer Aided Verification 7th International Conference, Cav '95', Liege, Belgium, July 3-5... by Wolper, P., Goos, G., Hartm... ISBN: 9783540600459 List Price: $89.95
2.
Protocol Specification, Testing and Verification, XIII (IFIP Transactions C: Communication S... by Danthine, A., Leduc, G., Wo... ISBN: 9780444816481 List Price: $139.50