Buy Used and New EdBrinksma Books

Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, ... 1217 (Lecture Notes in Computer Science)

by Ed Brinksma

ISBN 13: 9783540627906

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

Save for later

Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings (Lecture Notes in Computer Science)

by Kim G. Larsen, Ed Brinksma

ISBN 13: 9783540439974

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

Save for later