Buy Used and New OrnaGrumberg Books

Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European ... 20: 4424 (Lecture Notes in Computer Science)

by Orna Grumberg, Michael Huth

ISBN 13: 9783540712084

Format: Illustrated (760 pages)
Publisher: Springer
Published: 22 Feb 2009

Save for later

Computer Aided Verification: 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings: 1254 (Lecture Notes in Computer Science)

by Orna Grumberg

ISBN 13: 9783540631668

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

Save for later