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 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 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 407 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 507 Ft

Katerina Seda Kateřina Šedá

Paperback

9 019 Ft

Verteidgung der Freiheit Albert Camus

Paperback

5 047 Ft

Les Princesses magiques - tome 2 La Perle merveilleuse Paula Harrison

Paperback

2 976 Ft

Kamienica Bublanova Alzbeta

Paperback

3 412 Ft

Dvoření Bristol Keatsové Mary E. Pearson

binding.

6 597 Ft

LA - COMUNICACION Y ATENCION AL CLIENTE GS. LIBRO ALUMNO. JAVIER ARIZA

Paperback

16 350 Ft

4N1K Büsra Yilmaz

Paperback

7 934 Ft

4. Grad Westliche Dolomiten. Bd.2 Emiliana Zorzi

Paperback

8 403 Ft

Seneca, Das große Buch vom glücklichen Leben-Gesammelte Werke eneca

Hardback

3 427 Ft

The Psychology of Mans Possible Evolution Ouspensky P.D.

Hardback

4 341 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

34 957 Ft

Day Signs: Native American Astrology from Ancient Mexico Bruce Scofield

Paperback

8 659 Ft

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

Paperback

2 659 Ft

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

Paperback

7 607 Ft

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

Paperback

9 379 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 777 Ft