[email protected]
LIBRISTO 0
Austrian Post 5.99 € DPD courier 6.49 € GLS courier 4.49 €
phone Contact phoneHow to shop

Concurrency, Security, and Puzzles

Language EnglishEnglish
Book Paperback
Book Concurrency, Security, and Puzzles Thomas Gibson-Robinson
Libristo code: 15709343
Publishers Springer International Publishing AG, December 2016
This festschrift was written in honor of Andrew William (Bill) Roscoe on the occasion of his 60th bi... Full description
? points 161 b
68.07 € včetně DPH
Low in stock at our supplier Shipping in 13-16 days
Austria Delivery to Austria

30-day return policy

You might also be interested in

TOP
Day Signs: Native American Astrology from Ancient Mexico Bruce Scofield / Paperback
common.buy 26.21 €
Boskovice v historických fotografiích a pohlednicích Vladimír Filip / Sheet
common.buy 12.73 €
The Psychology of Mans Possible Evolution Ouspensky P.D. / Hardback
common.buy 13.26 €
The Operator Kim Harrison / Paperback
common.buy 8.34 €
Oxford Illustrated History of Medieval Europe George Holmes / Paperback
common.buy 35.31 €
Read Write Inc. Phonics Book Bag Books: Blue Set 6 Book Bag Books (Pack of 100) Adrian Bradbury / Paperback
common.buy 575.45 €
DĚJEPIS UČEBNICE PRO ZÁKLADNÍ ŠKOLY NOVÁ DOBA 2.DÍL Pavla Vošahlíková / Book
common.buy 6.09 €
Seneca, Das große Buch vom glücklichen Leben-Gesammelte Werke eneca / Hardback
common.buy 10.65 €
Advanced Monitoring and Numerical Analysis of Coastal Water and Urban Air Environment Hiroaki Furumai / Hardback
common.buy 134.22 €
Branch-and-Cut for an SDP Relaxation of Large-Scale Minimum Bisection Problems Michael Armbruster / Paperback
common.buy 97.29 €
Legal Governance & India Dhirendra Narayan Naik / Paperback
common.buy 36.38 €

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.

About the book

Full name Concurrency, Security, and Puzzles
Author Thomas Gibson-Robinson, Philippa Hopcroft, Ranko Lazic
Language English
Binding Book - Paperback
Date of issue 2016
Number of pages 319
EAN 9783319510453
ISBN 9783319510453
Libristo code 15709343
Publishers Springer International Publishing AG
Weight 5153
Dimensions 155 x 235 x 20

Categories

Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account