search for books and compare prices
A. Finkel has written 3 work(s)
Search for other authors with the same name
displaying 1 to 3 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
Cover for 9783540423454 Cover for 9780387565033 Cover for 9780387552101
Computer Aided Verification: 13th International Conference, Cav 2001, Paris, France, July 18-22, 2001. Proceedings
cover image for 9783540423454
Product Description: This volume contains the proceedings of the conference on Computer-Aided Veric ation (CAV 2001),held in Paris, Palaisde laMutualit e, July 18{22,2001. CAV 2001 was the 13th in a series of conferences dedicated to the advan- ment of the theory and practice of computer-assisted formal analysis methods for software and hardware systems...read more
By Gerard Berry (editor), H. Comon (editor) and A. Finkel (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783540423454 | Springer Verlag, February 1, 2002, cover price $149.00 | About this edition: This volume contains the proceedings of the conference on Computer-Aided Veric ation (CAV 2001),held in Paris, Palaisde laMutualit e, July 18{22,2001.

Stacs 93: 10th Annual Symposium on Theoretical Aspects of Computer Science Wurzburg, Germany, February 25-27, 1993 : Proceedings
cover image for 9780387565033
By P. Enjalbert, A. Finkel and K. W. Wagner (editor)
See complete details on each edition (1 edition listed)

Paperback:

9780387565033 | Springer Verlag, March 1, 1993, cover price $115.00

Stacs 92: 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992 : Proceedings
cover image for 9780387552101
Product Description: This volume gives the proceedings of the ninth Symposium on Theoretical Aspects of Computer Science (STACS). This annual symposium is held alternately in France and Germany and is organized jointly by the Special Interest Group for Fundamental Computer Science of the Association Francaise des Sciences et Technologies de l'Information et des Syst mes (AFCET) and the Special Interest Group for Theoretical Computer Science of the Gesellschaft für Informatik (GI)...read more
By A. Finkel and M. Jantzen (editor)
See complete details on each edition (1 edition listed)

Paperback:

9780387552101 | Springer Verlag, May 1, 1992, cover price $102.00 | About this edition: This volume gives the proceedings of the ninth Symposium on Theoretical Aspects of Computer Science (STACS).

displaying 1 to 3 | at end