Buy Used and New OdedMaler Books

Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings: 5643 (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783642026577

Format: Paperback (722 pages)
Publisher: Springer
Published: 19 Jun 2009

Save for later

Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings: v. 2623 (Lecture Notes in Computer Science)

by

ISBN 13: 9783540009139

Format: Paperback (558 pages)
Publisher: Springer
Published: 18 Mar 2003

Save for later