Menu
Află starea comenzii
Contactați-ne
Carte Concurrency, Security, and Puzzles Thomas Gibson-Robinson

Concurrency, Security, and Puzzles

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

Autor: Thomas Gibson-Robinson, Philippa Hopcroft, Ranko Lazic
Limbă: engleză
Legare: Carte broșată
Editura: Springer International Publishing AG
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
275.89 lei
This festschrift was written in honor of Andrew William (Bill) Roscoe on the occasion of his 60th bi...

Informații despre carte

Autor
Thomas Gibson-Robinson, Philippa Hopcroft, Ranko Lazic
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2016
Pagini
319
EAN
9783319510453
ISBN
9783319510453
Enbook ID
15709343
Editura
Springer International Publishing AG
Greutate
5153
Dimensiuni
155 x 235 x 20

Descriere completă

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.

S-ar putea să te intereseze

E-Coaching

Anne Ribbers
447.58 lei

BB King & Eric Clapton

Eric Clapton
136.58 lei

Branch-and-Cut for an SDP Relaxation of Large-Scale Minimum Bisection Problems

Michael Armbruster
377.47 lei

Cost stickiness and the implications for future performance

Konstantinos Karatzias
234.75 lei

Geological Difficulty of the Age Theory. an Examination of Mr. P. Bayne's Defence of the Testimony of the Rocks..

Peter Bayne
68.29 lei

Fields

Mark Elise
71.81 lei

Living Things

Marla Conn
189.38 lei

The Operator

Kim Harrison
54.20 lei

Metallica - Ride the Lightning

Jeff Jacobson
112.64 lei

At Translation's Edge

Natasa Durovicova
815.40 lei

Back With the Human Condition

Nick Ascroft
80.86 lei

Perverse Narcissists and the Impossible Relationships - Surviving love addictions and rediscovering ourselves

ENRICO MARIA SECCI
88.00 lei

Day Signs: Native American Astrology from Ancient Mexico

Bruce Scofield
116.66 lei

Philosophy of the Bible Vindicated

Cornelius O`Berien
124.61 lei

Legal Governance & India

Dhirendra Narayan Naik
172.39 lei

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

Adrian Bradbury
2 133.73 lei

Fighting for the King and the Gods

CHARLIE TRIMM
447.98 lei

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

Douglas R Armstrong
109.12 lei

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

Darrin Thomas Hutson
45.45 lei

Liquid Metal Systems

H.U. Borgstedt
497.27 lei

Huns, Rome and the Birth of Europe

Hyun Jin Kim
707.08 lei

Advanced Monitoring and Numerical Analysis of Coastal Water and Urban Air Environment

Hiroaki Furumai
550.27 lei

Religions of Immigrants from India and Pakistan

Raymond Brady Williams
638.88 lei

Piranesi

CLARKE SUSANNA
77.04 lei

Clienții care au cumpărat această carte au mai cumpărat și

Boskovice v historických fotografiích a pohlednicích

Vladimír Filip
62.85 lei

Katerina Seda

Kateřina Šedá
125.62 lei

Verteidgung der Freiheit

Albert Camus
68.08 lei

Dvoření Bristol Keatsové

Mary E. Pearson
91.92 lei

Syndicaliste

Tremolo
49.88 lei

Les Princesses magiques - tome 2 La Perle merveilleuse

Paula Harrison
42.94 lei

Tierische Gefährten. Die bio-psycho-sozialen Wirkungszusammenhänge von Mensch-Tier-Interaktionen

Belinda Peter
229.52 lei

TIEMPO DE PASCUA

ALVARO GINEL VIELVA
28.25 lei

Presupuestos

Income Mastery
108.72 lei

Rituals obrers i avalots estudiantils a Mallorca (1890-1980)

ANTONI NADAL I SOLER
83.37 lei

The Psychology of Mans Possible Evolution

Ouspensky P.D.
58.63 lei

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

eneca
46.05 lei

Schritt für Schritt. Macht alle mit!, für Violine, m. Audio-CD. Bd.3B

Kerstin Wartberg
118.17 lei

Canarischen Inseln, Ihre Vergangenheit Und Zukunft.

Julius Von Minutoli
119.58 lei

Historierevisionism

red Lars Ulwencreutz
232.74 lei

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

JAVIER ARIZA
228.11 lei

Klavierwerke, Band 9: Lieder-Bearbeitungen

Franz Liszt
143.92 lei

Dobrinka Tabakova: String Paths

Kristina/Jansen Blaumane
128.43 lei