Edmund M. Clarke Jr. - Böcker
Visar alla böcker från författaren Edmund M. Clarke Jr..
4 produkter
4 produkter
1 979 kr
Skickas inom 10-15 vardagar
Computer-Aided Verification
2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings
Häftad, Engelska, 1991
699 kr
Skickas inom 10-15 vardagar
Logic for Programming, Artificial Intelligence, and Reasoning
16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers
Häftad, Engelska, 2011
719 kr
Skickas inom 10-15 vardagar
939 kr
Tillfälligt slut