Paperback Book

Varastossa iMusicilla

Näytä loppuunmyydyt julkaisut

Julkaisut sisältäen Edmund M Clarke

Cover for Edmund M Clarke · Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers - Lecture Notes in Computer Science (Paperback Book) (2011)

Logic for Programming, Artificia... (2011)

Edmund M Clarke

Cover for Edmund M Clarke · Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings - Lecture Notes in Computer Science (Paperback Book) [1991 edition] (1991)

Computer-Aided Verification: 2nd... (1991)

Edmund M Clarke