Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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
0
Free delivery for purchases over 69.99 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Compositionality: The Significant Difference

International Symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997, Revised Lectures

Language EnglishEnglish
Book Paperback
Book Compositionality: The Significant Difference Hans Langmaack
Libristo code: 05274912
Publishers Springer, Berlin, November 1997
This book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad Ma... Full description
? points 249 b
103.01 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

LIBRO DEL COLECCIONISTA DE COMICS SUPERTHINGS - SERIES 4, 5 EDIBA EUROPA EON SL / Book Hardback
common.buy 29.54 €
Der Erfolg der Strafvereitelung Petra Wappler / Book Paperback
common.buy 65.97 €
Elements de la Science Des Finances V2: Et de la Legislation Financiere Francaise (1902) Max Boucard / Book Paperback
common.buy 54.33 €
Initial Public Offering (IPO). Chancen und Risiken für Unternehmensfinanzierung am Beispiel Hello Fresh / Book Paperback
common.buy 17.09 €
Hrubý Jeseník - Kralický Sněžník Aleš Matějíček / Printed items Map
common.buy 1.81 €
How and Why We Make Games Marta Fijak / Book Hardback
common.buy 133.37 €
Français-Afrikaans On a blessé mes sentiments/My gevoelens is gekwets Livre d'images bilingue pour enfants Suzanne Carlson / Book Paperback
common.buy 12.03 €
Nackte Natur (Wandkalender 2026 DIN A2 quer), CALVENDO Monatskalender Calvendo / Calendar/Diary Calendar
common.buy 54.23 €
Violence Conjugale: Le point de vue des femmes d'origine africaine Fabienne Aline Nazé / Book Paperback
common.buy 48.97 €
Peldanos a la Cumbre Jose Luis Navajo / Book Paperback
common.buy 19.42 €
La rebel·lió dels animals George Orwell / Book Paperback
common.buy 12.74 €
Tu amor creció conmigo Teresa Martín Sanz / Book Paperback
common.buy 11.53 €
Život svaté Kateřiny Eduard Petrů / Book Hardback
common.buy 11.73 €
Obesion street Diana de Paco Serrano / Book Paperback
common.buy 13.15 €
Alles was ich bin, 2 Audio-CDs (Deluxe Edition) taubkind / Audio Audio CD
common.buy 16.89 €
Zebra 1 Stephanie Brettschneider / Book Sheet
common.buy 21.95 €
Inspiriertes Schreiben? Peter Dové / Book Hardback
common.buy 47.86 €
The Harp Handbook, m. Audio-CD Steve Baker / Book Paperback
common.buy 39.86 €
Nur Für Anfänger - Ukulele. Tl.1 Steven Sproat / Book Paperback
common.buy 15.88 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Compositionality: The Significant Difference
Author Hans Langmaack, Amir Pnueli, Willem-Paul De Roever
Language English
Binding Book - Paperback
Date of issue 1998
Number of pages 647
EAN 9783540654933
ISBN 3540654933
Libristo code 05274912
Publishers Springer, Berlin
Weight 916
Dimensions 155 x 235 x 33

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer networking & communications > Distributed systems
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Object Orientation with Parallelism and Persistence Burkhard Freitag / Book Paperback
common.buy 154.42 €
Fundamentals, Laplace's Equation, Diffusion Equation, Wave Equation A. P. S. Selvadurai / Book Hardback
common.buy 100.78 €
The Last Seven Years of the Life of Henry Clay. Calvin Colton / Book Paperback
common.buy 26.91 €
History of Birmingham, to the End of the Year 1780. by W. Hutton. William Hutton / Book Paperback
common.buy 24.38 €
History of Flixton, Urmston, and Davyhulme, Etc. [With Plates.] Richard Lawson / Book Paperback
common.buy 22.96 €
Chronicles of the Schonberg Cotta Family Elizabeth Charles / Book Paperback
common.buy 43.00 €
A Midsummer Night's Dream William Shakespeare / Book Paperback
common.buy 8.39 €
Hedda Sterne, The Discovery of Early Years 1910-1941 Cosmin Nasui / Book Hardback
common.buy 35.31 €
The Little Book of Children's Nursery Rhymes Anon / Book Paperback
common.buy 12.74 €
From Exile to Exile Edmund Mxolisi Mankazana / Book Paperback
common.buy 42.29 €
Human Rights and Free Trade in Mexico A. Estevez / Book Paperback
common.buy 58.48 €
Teaching Strategies for the College Classroom: A Collection of Faculty Articles Maryellen Weimer Ph. D. / Book Paperback
common.buy 19.32 €
A Soldier, A Dog and A Boy Libby Hathorn / Book Hardback
common.buy 13.96 €
Grandmothers Are Part of a Family Lucia Raatma / Book Hardback
common.buy 19.22 €
Sustainable Biofuels Ajay Kumar Bhardwaj / Book Paperback
common.buy 15.78 €
Quantum Lens Douglas E Richards / Book Paperback
common.buy 13.04 €
BC KS2 Pro Guided Y3 Term 3 Pupil Workbook / Book Paperback
common.buy 4.95 €
Glencoe Life Iscience Module G: From Bacteria to Plants, Grade 7, Student Edition Mcgraw-Hill Education / Book Hardback
common.buy 54.84 €
Discover the World of Squirrels: Illustrated Kids Book with Fun Facts about Squirrels and Builds Kids Vocabulary Violet Burbach / Book Paperback
common.buy 15.68 €
OAuth 2.0: Introduction to API Security with OAuth 2.0 Joseph Moore / Book Paperback
common.buy 11.73 €
Budgeting For A Purpose: A Guide to Better Finances MR Jacob Keel / Book Paperback
common.buy 13.75 €
Solar Powered Charging Infrastructure for Electric Vehicles Larry E. Erickson / Book Paperback
common.buy 85.60 €
Magic The Gathering: Rules and Getting Started, Strategy Guide, Deck Building For Beginners (MTG, Deck Building, Strategy) ALEXANDER NORLAND / Book Hardback
common.buy 38.34 €
Top
Sword Art Online Progressive, Vol. 5 (light novel) Reki Kawahara / Book Paperback
common.buy 11.32 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?