Copied Concurrency, Security, and Puzzles
Concurrency, Security, and Puzzles
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.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Modeling and Optimization in Space Engineering
$129.99
A History of Wine in Europe, 19th to 20th Centuries, Volume II
$169.99
Mathematical Modeling in Cultural Heritage
$149.00
Antikrper
$69.99
Die elektronische Rechnung in Handels- und Steuerrecht
$59.99
New Era for Robust Speech Recognition
$199.99
Biopsychosocial Approaches to Understanding Health in South Asian Americans
$109.99
Geographical Information Systems Theory, Applications and Management
$54.99
Solar Photo Rates for Planetary Atmospheres and Atmospheric Pollutants
$169.99
Spectral Methods in Infinite-Dimensional Analysis
$84.99
Ethics in Real Estate
$169.99
Hazardous Substances in Welding and Allied Processes
$54.99
Error Logic: Paving Pathways for Intelligent Error Identification and Management
$129.99
Metaphor and Gender in Business Media Discourse
$109.99
Handbuch der Eisen- und Stahlgieerei
$59.99
Network Embeddedness
$169.99
Law and Opera
$249.99
Intelligent Engineering Optimisation with the Bees Algorithm
$219.99
Bildung und Geschlecht zwischen Moderne und Postmoderne
$59.99
Information Systems Architecture and Technology: Proceedings of 36th International Conference on Inf
$109.99
The Maze Runner Series Complete Collection Boxed Set (5-Book) by James Dashner
$69.95
Four Pillars Grade K
$645.00
Developments in Sustainable Chemical and Bioprocess Technology
$89.00
ABCs
$3.71
Dienstleistungscontrolling
$139.99
Die Stdte in den 90er Jahren
$69.99
Records of Trial from Thomas Shepards Church in Cambridge, 16381649
$54.99
Erfolgreiche Rekrutierung von Franchisenehmern
$39.99
Mediascapes of Ruined Geographies in the Global South
$159.99
Modiphius Entertainment - Dreams and Machines - Collectors Slipcase Rpg Set
$154.99
Advances in Microbial Ecology
$39.99
Animal Crossing- New Horizons, Vol. 2- Deserted Island Diary by Kokonasu Rumba
$11.99
Theology and Science on the Evolution of Religion
$109.99
Women and Value in Jane Austens Novels
$89.00
Are We Still Friends?
$4.46
Praxisratgeber Wechselmodell
$19.99
Der Beruf der Suglingspflegerin
$59.99
Contemporary Environmental Issues and Challenges in Era of Climate Change
$84.99
Infectious Diseases in Solid-Organ Transplant Recipients
$129.99
Information Assurance and Risk Management Strategies
$54.99
