Code: 05274912

Compositionality: The Significant Difference

Name: Compositionality: The Significant Difference
Brand: Springer, Berlin
SKU: 05274912
Price: 103.16 EUR
Availability: InStock
Author: Hans Langmaack
ISBN: 9783540654933

by Hans Langmaack, Amir Pnueli, Willem-Paul De Roever

Language: English
Binding: Paperback
Number of pages: 647
Publisher: Springer, Berlin, 1998
More about this

103.16 €

RRP: 111.80 €

You save 8.64 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Sword Art Online Progressive, Vol. 5 (light novel)
10.63 € -25 %
Buy
Be As You Are
8.81 € -48 %
Buy
City of Blades
14.18 € -19 %
Buy
Bluey: Love from Bluey
7.19 € -25 %
Buy
A Midsummer Night's Dream
7.89 € -25 %
Buy
Život svaté Kateřiny
10.63 € -21 %
Buy
Teacher Resilience: Managing stress and anxiety to thrive in the classroom
24.21 €
Buy
BC KS2 Pro Guided Y3 Term 3 Pupil Workbook
4.96 €
Buy
Magic The Gathering: Rules and Getting Started, Strategy Guide, Deck Building For Beginners (MTG, Deck Building, Strategy)
36.47 € -2 %
Buy
Beginning Cryptography with Java
28.67 € -24 %
Buy
LIBRO DEL COLECCIONISTA DE COMICS SUPERTHINGS - SERIES 4, 5
21.78 € -2 %
Buy
Appalachian Trail Hiker
12.76 € -24 %
Buy
Nur Für Anfänger - Ukulele. Tl.1
15.90 € -1 %
Buy
Do It Yourself Quantum Physics - Exploring the History, Theory and Applications of Quantum Physics Through Hands-On Projects
79.45 € -9 %
Buy
How and Why We Make Games
141.57 €
Buy
Die Tribute von Panem - The Ballad of Songbirds & Snakes
14.79 € -10 %
Buy
Alles was ich bin, 2 Audio-CDs (Deluxe Edition)
16.81 €
Buy
Dimensions of Yahwism in the Persian Period
119.38 € -4 %
Buy
Language Learning Coloring Books: Learning Basic Japanese
9.82 € -6 %
Buy
OAuth 2.0: Introduction to API Security with OAuth 2.0
11.14 € -6 %
Buy
Angel Babies Realm VI
13.77 €
Buy
Minimalism
25.02 €
Buy
PET DOG
7.79 €
Buy
Hrubý Jeseník - Kralický Sněžník
1.61 € -20 %
Buy
Confirmed Kill
12.76 € -24 %
Buy
Initial Public Offering (IPO). Chancen und Risiken für Unternehmensfinanzierung am Beispiel Hello Fresh
17.12 € -10 %
Buy
Fundamentals, Laplace's Equation, Diffusion Equation, Wave Equation
100.93 € -9 %
Buy
Hedda Sterne, The Discovery of Early Years 1910-1941
33.43 € -10 %
Buy
Jesu, the very thought is sweet
5.46 € -15 %
Buy
Glencoe Life Iscience Module G: From Bacteria to Plants, Grade 7, Student Edition
56.03 €
Buy
Nackte Natur (Wandkalender 2026 DIN A2 quer), CALVENDO Monatskalender
54.31 € -2 %
Buy
Successful Shadow A Detective's Successful Quest
9.01 € -15 %
Buy
Generos, Vih-Sida y Educacion Sexual
26.04 € -14 %
Buy
The Harp Handbook, m. Audio-CD
39.82 €
Buy
Resurrection (Qiyamah) in the Qur'an
17.52 € -2 %
Buy
Consumer Culture and Personal Finance
55.83 €
Buy
Götterstrasse
12.05 €
Buy
Obesion street
14.68 €
Buy
Towards a Theory of Schooling (Routledge Revivals)
74.99 €
Buy
Appealing Act
27.45 € -20 %
Buy
Grandmothers Are Part of a Family
18.03 € -25 %
Buy
Der Erfolg der Strafvereitelung
66.07 € -6 %
Buy
Minsk Ghetto 1941-1943
93.94 €
Buy
Theological Understanding of Power for Poverty Alleviation in the Philippines
26.54 € -2 %
Buy
Inspiriertes Schreiben?
63.53 €
Buy
Violence Conjugale: Le point de vue des femmes d'origine africaine
49.04 € -11 %
Buy
Teaching Strategies for the College Classroom: A Collection of Faculty Articles
18.33 € -7 %
Buy
Women in Saudi Arabia Today
109.54 €
Buy
Quantum Lens
12.35 € -7 %
Buy
Français-Afrikaans On a blessé mes sentiments/My gevoelens is gekwets Livre d'images bilingue pour enfants
11.44 € -7 %
Buy
Elements de la Science Des Finances V2: Et de la Legislation Financiere Francaise (1902)
51.78 € -2 %
Buy
Solar Powered Charging Infrastructure for Electric Vehicles
85.93 €
Buy
Human Rights and Free Trade in Mexico
53.40 € -4 %
Buy
Sustainable Biofuels
14.79 € -25 %
Buy
The Little Book of Children's Nursery Rhymes
12.15 € -2 %
Buy
The Last Seven Years of the Life of Henry Clay.
25.63 € -2 %
Buy
A Soldier, A Dog and A Boy
13.98 € -9 %
Buy
Object Orientation with Parallelism and Persistence
154.64 € -7 %
Buy
Diaries of Sir Ernest Satow, 1921-1926 - Volume Two (1924-1926)
36.98 € -1 %
Buy
From Exile to Exile
36.58 €
Buy
Classical Mechanics
164.88 € -7 %
Buy
Sleeping Evie: Lady Goosebury's Tales
8.10 € -7 %
Buy
Digital Image Warping
124.65 € -10 %
Buy
Budgeting For A Purpose: A Guide to Better Finances
13.16 € -6 %
Buy
Peldanos a la Cumbre
18.33 € -24 %
Buy
Chronicles of the Schonberg Cotta Family
40.93 € -2 %
Buy
Tu amor creció conmigo
12.86 €
Buy
History of Birmingham, to the End of the Year 1780. by W. Hutton.
22.89 € -25 %
Buy
La rebel·lió dels animals
12.76 € -5 %
Buy
Discover the World of Squirrels: Illustrated Kids Book with Fun Facts about Squirrels and Builds Kids Vocabulary
14.89 € -7 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Compositionality: The Significant Difference

Book details
Synopsis
Trending among others

You get 249 loyalty points

Book synopsis

This book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad Malente, Germany in September 1997. The 25 chapters presented in revised full version reflect the current state of the art in the area of compositional reasoning about concurrency. The book is a valuable reference for researchers and professionals interested in formal systems design and analysis; it also is well suited for self study and use in advanced courses.

Book details

Book category Books in English Computing & information technology Computer science Computer architecture & logic design

103.16 €

Full title: Compositionality: The Significant Difference
Subtitle: International Symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997, Revised Lectures
Author: Hans Langmaack, Amir Pnueli, Willem-Paul De Roever
Language: English
Binding: Paperback
Number of pages: 647
EAN: 9783540654933
ISBN: 3540654933
ID: 05274912
Publisher: Springer, Berlin
Weight: 916 g
Dimensions: 235 × 155 × 33 mm
Published: 1998