Menu
Виж статуса на поръчката
Свържете се с нас
Книга Introduction to Concurrency Theory Roberto Gorrieri

Introduction to Concurrency Theory

Transition Systems and CCS

Автор: Roberto Gorrieri, Cristian Versari
Език: Английски език
Корици: С меки корици
Издател: Springer International Publishing AG
Наличност: Външен склад
Изпращаме след 5-8 дни
51.57 € 100.86 лв
This book presents the fundamentals of concurrency theory with clarity and rigor. The authors start...

Информация за книгата

Автор
Roberto Gorrieri, Cristian Versari
Език
Английски език
Корици
Книга - С меки корици
Издадена
2016
страници
334
EAN
9783319366388
ISBN
9783319366388
Enbook ID
15368787
Издател
Springer International Publishing AG
Теглоt
534
Размери
155 x 235 x 19

Пълно описание

This book presents the fundamentals of concurrency theory with clarity and rigor. The authors start with the semantic structure, namely labelled transition systems, which provides us with the means and the tools to express processes, to compose them, and to prove properties they enjoy. The rest of the book relies on Milner's Calculus of Communicating Systems, tailored versions of which are used to study various notions of equality between systems, and to investigate in detail the expressive power of the models considered. The authors proceed from very basic results to increasingly complex issues, with many examples and exercises that help to reveal the many subtleties of the topic. The book is suitable for advanced undergraduate and graduate students in computer science and engineering, and scientists engaged with theories of concurrency.

Може също да ви хареса

Sustainable Agriculture Reviews

Eric Lichtfouse
157.37 € 307.80 лв

The Epic Journeys of Morgan & Clarke: Running with Harriet

Antoine L Medley
6.50 € 12.71 лв

Friendship in Doubt Aleister Crowley, J. F. C. Fuller, Victor B. Neuburg, and British Agnosticism (Hardback)

Kaczynski
135.16 € 264.36 лв

Solitaire

Alice Oseman
10.05 € 19.66 лв

Buddhism and Medicine

C. Pierce Salguero
192.79 € 377.07 лв

Guidelines for the Control and Prevention of Toxoplasmosis

Silvia Beatriz Garay Cruz
40.12 € 78.46 лв

Electro-physiology

Albert P. (Albert Philson) Brubaker
16.00 € 31.30 лв

Kendrick Lamar and the Making of Black Meaning

Christopher M. Driscoll
63.73 € 124.64 лв

History of the Peloponnesian War

Thomas Arnold
33.76 € 66.03 лв

Short But Not So Sweet

Dianah Brock
6.50 € 12.71 лв

Prophet's Panegyrics in Arabic Literature

K. M. A. Ahamed Zubair
32.91 € 64.37 лв

Carthy Family Secret Book 2 of 4

K M M
29.51 € 57.72 лв

Try Not to Laugh Joke Book Challenge Christmas Edition: Official Stocking Stuffer for Kids Over 200 Jokes Joke Book Competition for Boys and Girls Gif

Kevin Clark
10.00 € 19.56 лв

Through the Stars

Aalisha Jain
14.15 € 27.68 лв

Bradford's History of Plymouth Plantation, 1606-1646, Volume 6

William Bradford
26.01 € 50.87 лв

Stammering and Stuttering: The Causes, Peculiarities, Tendencies and Effects

Benjamin Nathaniel Bogue
21.46 € 41.96 лв

The Moral Discourses of Epictetus (1910)

Elizabeth Carter
33.31 € 65.15 лв

Biographical review containing life sketches of leading citizens of Schenectady,

28.36 € 55.47 лв

Phoenix Coloring Books for Adults

Coloring Shut Up Coloring
9.10 € 17.80 лв

Cinema and the Origins of Literary Modernism

Andrew Shail
79.78 € 156.05 лв

Turkish-English/English-Turkish Dictionary and Phrasebook

Charles Gates
10.95 € 21.42 лв

Basic Algebraic Geometry 1

Igor R. Shafarevich
102.85 € 201.15 лв

Collected Works of Ramana Maha

Arthur Osborne
14.50 € 28.36 лв

Utopia Guide to Malaysia

John Goss
20.15 € 39.42 лв

Клиенти, които купиха тази книга, купиха също

valore delle parole

Tullio De Mauro
12.20 € 23.86 лв

Gokurakugai

Yuto Sano
7.95 € 15.55 лв

Anální spinocelulární karcinom

Radka
18.10 € 35.41 лв

Zieleń. Kolory zła. Tom 6

Małgorzata Oliwia Sobczak
13.30 € 26.02 лв

Cuaderno del alumno. Contratación Laboral (UF0341). Certificados de profesionalidad. Gestión integra

Francisco Javier Gómez Sáez
10.05 € 19.66 лв

Brutus et la perfection oratoire

Cicéron
55.72 € 108.98 лв

A merced de la ira; Un acuerdo perfecto

Foster
12.25 € 23.96 лв

Persona 5 T03

Murasaki Hisato
11.45 € 22.40 лв

Une astuce de grand-mère par jour 2014

collegium
16.05 € 31.40 лв

Les Aigles décapitées - Tome 04

Jean-Charles Kraehn
16.25 € 31.79 лв

Insectos que se alimentan de cultivos resistentes

Jaime Araya
90.09 € 176.20 лв

Güc Kimin Elinde

Noam Chomsky
17.40 € 34.04 лв

Mandylion z Edessy

Matej Gogola
14.00 € 27.39 лв

Chasse Au Chien d'Arret, Gibier A Plumes

Chenu-J-C
27.31 € 53.41 лв

MANUAL DE ASTROLOGÍA MÉDICA

GEZA DE SURANY
19.20 € 37.56 лв

Das Wiener Stadtrechts- oder Weichbildbuch

Heinrich Maria Schuster
22.91 € 44.80 лв

Beitrage zur Volks- und Voelkerkunde

C. G. B TTNER
19.25 € 37.66 лв

Manuale illustrato di terapia sessuale

Helen S. Kaplan
13.25 € 25.92 лв

chirurgischen Erkrankungen der Bauchdecken

Georg Ledderhose
27.41 € 53.61 лв

Protección por desempleo

José Ortega Cruz
72.03 € 140.88 лв

Asterix in German

Albert Uderzo
12.25 € 23.96 лв