Buy Used and New Rajeev Alur Books

Hybrid Systems III: Verification and Control: 1066 (Lecture Notes in Computer Science)

by Eduardo D. Sontag,Thomas A. Henzinger,Rajeev Alur

ISBN 13: 9783540611554

Format: Paperback (636 pages)
Publisher: Springer
Published: 24 Apr 1996

Save for later

Hybrid Systems: Computation and Control: 7th International Workshop, HSCC 2004 Philadelphia, PA, USA, March 25-27, 2004 Proceedings: 2993 (Lecture Notes in Computer Science)

by Rajeev Alur,George J. Pappas

ISBN 13: 9783540212591

Format: Paperback (678 pages)
Publisher: Springer
Published: 12 Mar 2004

Save for later

Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings: 3114 (Lecture Notes in Computer Science)

by Doron A. Peled,Rajeev Alur

ISBN 13: 9783540223429

Format: Illustrated (556 pages)
Publisher: Springer
Published: 29 Jun 2004

Save for later

Embedded Software: Third International Conference, EMSOFT 2003 Philadelphia, PA, USA, October 13-15, 2003 Proceedings: 2855 (Lecture Notes in Computer Science)

by Rajeev Alur,Insup Lee

ISBN 13: 9783540202233

Format: Paperback (388 pages)
Publisher: Springer
Published: 29 Sep 2003

Save for later

Computer Aided Verification: 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings: 1102 (Lecture Notes in Computer Science)

by Thomas Henzinger,Rajeev Alur

ISBN 13: 9783540614746

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

Save for later