Buy Used and New PatrickCousot Books

Static Analysis: Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings: 724 (Lecture Notes in Computer Science)

by Antoine Rauzy, Patrick Cousot, Moreno Falaschi, Gilberto File

ISBN 13: 9783540572640

Format: Paperback (300 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Static Analysis: 8th International Symposium, SAS 2001 Paris, France, July 2001 Proceedings: 8th International Symposium, SAS 2001, Paris, France, ... 2126 (Lecture Notes in Computer Science)

by Patrick Cousot

ISBN 13: 9783540423140

Format: Paperback (456 pages)
Publisher: Springer
Published: 22 Feb 2009

Save for later