Computer Aided Verification: 5th International Conference, CAV'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings download pdf
Par aguilar mark le jeudi, février 22 2018, 02:30 - Lien permanent
Costas Courcoubetis: Computer Aided Verification: 5th International Conference, CAV'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings
____________________________
Author: Costas Courcoubetis
Number of Pages: 510 pages
Published Date: 01 May 1995
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Publication Country: Berlin, Germany
Language: English
ISBN: 9783540569220
Download Link: Click Here
____________________________