The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Bill Roscoe Books

Results for Bill Roscoe

Showing 1 to 3 of 3 results
Millennial Perspectives in Computer Science: Proceedings of the 1999 Oxford-Microsoft Symposium in Honour of Sir Tony Hoare (Cornerstones of computing) Millennial Perspectives in Computer Science: Proceedings of the 1999 Oxford-Microsoft Symposium in Honour of Sir Tony Hoare (Cornerstones of computing) by Jim Woodcock, Jim Davies, Bill Roscoe

Millennial Perspectives in Computer Science: Proceedings of the 1999 Oxford-Microsoft Symposium in Honour of Sir Tony Hoare (Cornerstones of computing)

by Jim Woodcock, Jim Davies, Bill Roscoe


ISBN 13: 9780333922309

Format: Hardcover (432 pages)
Publisher: Palgrave Macmillan
Published: 30 Nov 2000

Save for later

Used : $18.95  
 
Used : $18.95
Modelling and Analysis of Security Protocols Modelling and Analysis of Security Protocols by Michael Goldsmith, Steve Schneider, Peter Ryan, Bill Roscoe, Gavin Lowe

Modelling and Analysis of Security Protocols

by Michael Goldsmith, Steve Schneider, Peter Ryan, Bill Roscoe, Gavin Lowe


ISBN 13: 9780201674712

Format: Paperback (320 pages)
Publisher: Addison Wesley
Published: 06 Dec 2000

Save for later

Used : $79.13  
 
Used : $79.13
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings: 10951 (Lecture Notes in Computer Science) Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings: 10951 (Lecture Notes in Computer Science) by Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink

Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings: 10951 (Lecture Notes in Computer Science)

by Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink


ISBN 13: 9783319955810

Format: Paperback (708 pages)
Publisher: Springer
Published: 12 Jul 2018

Save for later

 
New : $98.73  
New : $98.73