Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 1 170 Ft DPD courier 1 370 Ft GLS point 1 370 Ft Hungarian Post 1 975 Ft Hungarian Post 1 870 Ft Hungarian Post 1 870 Ft FoxPost 1 370 Ft Packeta point 1 370 Ft GLS courier 1 870 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Concurrency, Security, and Puzzles

Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday

Thomas Gibson-Robinson

Philippa Hopcroft

Ranko Lazic

Language

English

Book Paperback

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

Libristo code: 15709343

136 b

20 302 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Boskovice v historických fotografiích a pohlednicích Vladimír Filip

Sheet

4 491 Ft

Katerina Seda Kateřina Šedá

Paperback

8 976 Ft

Verteidgung der Freiheit Albert Camus

Paperback

5 026 Ft

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.

Actress & Polyglot

EWA KASP for

Play video

Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

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

You might also be interested in

E-Coaching Anne Ribbers

Paperback

35 742 Ft

From the Grave: The Prayer William Castle

Paperback

6 315 Ft

Read Write Inc. Phonics Book Bag Books: Blue Set 6 Book Bag Books (Pack of 100) Adrian Bradbury

Paperback

210 983 Ft

Get Off The B.S.: 12 Reason Black Love Isn't Working For You Or Me Darrin Thomas Hutson

Paperback

3 425 Ft

Practical Conservation of Archaeological Objects: A layman's guide to the stabilization, preservation, and repair of antique artifacts Douglas R Armstrong

Paperback

11 851 Ft

Fighting for the King and the Gods CHARLIE TRIMM

Paperback

33 844 Ft

Agnes Tobin: Letters, Translations, Poems, With Some Account Of Her Life Agnes Tobin

Hardback

14 944 Ft

100 creative writing exercises: Start your day warming your writing skills Alejandro Andres

Paperback

2 692 Ft

500 Worksheets - Adding Place Value Commas to 12 Digit Numbers: Math Practice Workbook Kapoo Stem

Paperback

7 767 Ft

Alaska Commercial Fishing Employment Guide: Your Official Guide to Finding Employment as a Commercial Fisherman C S Harris

Paperback

9 576 Ft

A Discourse Delivered at Winslow, November 29, 1804: Being a Day Consecrated to the Purposes of Publick Thanksgiving and Praise Throughout the Commonw Joshua Cushman

Paperback

4 877 Ft