Buy Used and New David Basin Books

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings: 3097 (Lecture Notes in Computer Science)

by Michael Rusinowitch,David Basin

ISBN 13: 9783540223450

Format: Paperback (512 pages)
Publisher: Springer
Published: 22 Jun 2004

Save for later

Principles of Security and Trust: Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of ... 7796 (Lecture Notes in Computer Science)

by David Basin,John C. Mitchell

ISBN 13: 9783642368295

Format: Paperback (308 pages)
Publisher: Springer
Published: 20 Feb 2013

Save for later