Computer Aided Verification, 21 conf., CAV 2009 online
Par titsworth ara le mercredi, janvier 30 2013, 18:43 - Lien permanent
Computer Aided Verification, 21 conf., CAV 2009 book download
Ahmed Bouajjani, Oded Maler
Download Computer Aided Verification, 21 conf., CAV 2009
from $68.21 . Book Series: Lecture Notes in Computer Science. Alibris has Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26-July 2, 2009, Proceedings and other books by Ahmed. Lecture Notes in Computer. Proceedings and other books by Edmund M. Computer-Aided Verification: 2nd Internatonal Conference, Cav '90. Alibris has Computer-Aided Verification: 2nd Internatonal Conference, Cav '90, New Brunswick, NJ, USA, June 18-21, 1990. Computer Aided Verification: 21st International Conference, CAV. BARNES & NOBLE | Computer Aided Verification: 11th International. on Computer Aided Verification, CAV 2009,. M. . This book constitutes the refereed proceedings of the 11th International Conference on Computer Aided Verification,. Computer aided verification : 6th international conference, CAV. Computer Aided Verification: 21st International Conference, CAV. Computer Aided Verification: 6th International Conference, Cav '94. Computer-Aided Verification: 2nd International Conference, Cav '90 New Brunswick, Nj, Usa, June 18-21, 1990 Proceedings (Lecture Notes in Computer Science) [E. CAV '94, Stanford, California, USA, June 21-23, 1994 :.