Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday (Paperback, 1st ed. 2017)
Loot Price: R2,488
Discovery Miles 24 880
|
|
Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday (Paperback, 1st ed. 2017)
Series: Lecture Notes in Computer Science, 10160
Expected to ship within 10 - 15 working days
|
This festschrift was written in honor of Andrew William (Bill)
Roscoe on the occasion of his 60th birthday, and features tributes
by Sir Tony Hoare, Stephen Brookes, and Michael Wooldridge. Bill
Roscoe is an international authority in process algebra, and has
been the driving force behind the development of the FDR refinement
checker for CSP. He is also world renowned for his pioneering work
in analyzing security protocols, modeling information flow,
human-interactive security, and much more. Many of these areas are
reflected in the 15 invited research articles in this festschrift,
and in the presentations at the "BILL-60" symposium held in Oxford,
UK, on January 9 and 10, 2017.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.