Free Downloads Robert P Kurshan Books

Showing 1 to 5 of 5 results

ISBN 10: 0691634890
ISBN 13: 9780691634890

19 Apr 2016
Robert P. Kurshan
Download Computer-Aided Verification of Coordinating Processes by Robert P. Kurshan

ISBN 10: 0691606056
ISBN 13: 9780691606057

14 Jul 2014
Robert P. Kurshan
Download Computer-Aided Verification of Coordinating Processes by Robert P. Kurshan

ISBN 10: 3642640524
ISBN 13: 9783642640520

31 Jul 2012
M. Kemal Inan
Download Verification of Digital and Hybrid Systems by M. Kemal Inan

ISBN 10: 3642596169
ISBN 13: 9783642596162

16 Mar 2000
M Kemal Inan
Download Verification of Digital and Hybrid Systems by M Kemal Inan

ISBN 10: 3662202662
ISBN 13: 9783662202661

15 Jan 2014
Edmund M Clarke
Download Computer-Aided Verification by Edmund M Clarke