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
Calculus of Variations I
$199.99
Multirate Switched-Capacitor Circuits for 2-D Signal Processing
$169.99
Molecular Pharmacognosy
$169.99
Money, Pricing, Distribution and Economic Integration
$109.99
Enhancing Participation in the Arts in the EU
$129.00
Muslim Minority-State Relations
$109.99
Client-Centered Business Consulting
$49.99
Intermedial Performance and Politics in the Public Sphere
$129.99
Bioeconomy
$59.99
Development and Connection in the Time of COVID-19
$54.99
New Frontiers in Artificial Intelligence
$54.99
Electrical and Related Properties of Organic Solids
$54.99
Anorganische Strukturchemie
$44.99
American Puppet Modernism
$54.99
Ageing, Narrative and Identity
$54.99
E.M. Forster and The Politics of Imperialism
$54.99
Celtic Tiger in Collapse
$54.99
Building Tightly Integrated Software Development Environments: The IPSEN Approach
$84.99
Stoic Philosophy and Social Theory
$99.99
Investigating a Phase Conjugate Mirror for Magnon-Based Computing
$84.99
Lineare Algebra Birkhuser Skripten Vol. 3
$54.99
Electroactive Polymer Electrochemistry
$109.99
Sulfate-Reducing Bacteria and Archaea
$159.99
Methoden zur Planung zeit- und kostenoptimaler Produktion und Lagerhaltung
$84.99
Finite Element Methods
$199.99
Metzler Lexikon literarischer Symbole
$39.99
Time in Romantic Theatre
$129.99
The Handbook of Biomarkers
$139.00
Parsing Techniques
$249.99
Algebraic Topology
$54.99
Chemical Water and Wastewater Treatment VI
$84.99
Broadband Satellite Communications for Internet Access
$129.00
Das Berufsbildungssytem in Deutschland
$39.99
Die sterreichische kaiserliche Zensur und die bhmische periodische Presse, 1848-71
$79.99
CDOs in the Public Sector
$44.99
Jumbo Book of Kindergarten Fun Workbook
$8.24
Resonant X-Ray Scattering in Correlated Systems
$139.99
Nonlinear Control in the Year 2000
$39.99
Compliance im Sport
$59.99
Medizincontrolling
$69.99
