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 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Politische Institutionen im gesellschaftlichen Umbruch
$59.99
Mathematik fr Naturwissenschaftler
$59.99
Growth Hormone and Somatomedins during Lifespan
$109.99
Einfhrung in die Quantenmechanik
$59.99
West Nile Encephalitis Virus Infection
$169.00
Spliceosomal Pre-mRNA Splicing
$109.99
Grundriss der psychiatrischen Diagnostik nebst einem Anhang enthaltend die fr den Psychiater wichti
$59.99
Louisa May Alcott and the Textual Child
$89.99
Nachfragemacht und internationaler Handel
$69.99
Human Face Recognition Using Third-Order Synthetic Neural Networks
$169.99
Concrete-Polymer Composites in Circular Economy
$59.99
Landschaften geographisch verstehen und touristisch erschlieen
$29.99
Ein mathematischer COUNTDOWN zur Wirtschaftswissenschaft
$49.99
Die Internet-konomie
$44.99
Playing at the Border
$6.71
Kinomythen 1920-1945
$49.99
Brckenkurs Mathematik fr Wirtschaftswissenschaftler
$49.99
Our Molecular Nature
$39.99
The Twelve Dancing Princesses
$5.21
Kurzes Handbuch der Brennstoff- und Feuerungstechnik
$64.99
Elektrotechnik. Grundlagenlehrbuch
$54.99
Care Staff Mobilisation in the Hospital
$49.99
Diagnosis and Management of Endocrine-related Tumors
$169.00
Community Resilience, Universities and Engaged Research for Todays World
$39.99
Sustainable Agriculture Reviews
$219.99
Before Haiti: Race and Citizenship in French Saint-Domingue
$119.99
Basic Semiconductor Physics
$129.99
Direct Banking
$59.99
Von der Schule in den Beruf
$59.99
Economic Spillovers, Structural Reforms and Policy Coordination in the Euro Area
$84.99
New Horizons in Systemic Practice with Adults
$99.99
Machine Learning and Intelligent Communications
$54.99
Journalismus und (sein) Publikum
$59.99
Sense and Senility: The Neuropathology of the Aged Human Brain
$169.99
Origins and Evolution of the US Rebalance toward Asia
$54.99
St James's Place Tax Guide 2008-2009
$54.99
Open-Set Text Recognition
$49.99
Equity and Access to High Skills through Higher Vocational Education
$159.99
Brain Injury and Protection During Heart Surgery
$219.99
Programme zur Methode der Finiten Elemente
$49.99
