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 19 990 Ft
DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 271 b
39 624 Ft
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Elements de la Science Des Finances V2: Et de la Legislation Financiere Francaise (1902) Max Boucard / Book Paperback
common.buy 20 719 Ft
Français-Afrikaans On a blessé mes sentiments/My gevoelens is gekwets Livre d'images bilingue pour enfants Suzanne Carlson / Book Paperback
common.buy 4 624 Ft
LIBRO DEL COLECCIONISTA DE COMICS SUPERTHINGS - SERIES 4, 5 EDIBA EUROPA EON SL / Book Hardback
common.buy 7 683 Ft
How and Why We Make Games Marta Fijak / Book Hardback
common.buy 50 556 Ft
Initial Public Offering (IPO). Chancen und Risiken für Unternehmensfinanzierung am Beispiel Hello Fresh / Book Paperback
common.buy 6 626 Ft
Nackte Natur (Wandkalender 2026 DIN A2 quer), CALVENDO Monatskalender Calvendo / Calendar/Diary Calendar
common.buy 20 806 Ft
Peldanos a la Cumbre Jose Luis Navajo / Book Paperback
common.buy 7 582 Ft
La rebel·lió dels animals George Orwell / Book Paperback
common.buy 4 508 Ft
Tu amor creció conmigo Teresa Martín Sanz / Book Paperback
common.buy 4 522 Ft
Obesion street Diana de Paco Serrano / Book Paperback
common.buy 5 164 Ft
Inspiriertes Schreiben? Peter Dové / Book Hardback
common.buy 16 958 Ft
Nur Für Anfänger - Ukulele. Tl.1 Steven Sproat / Book Paperback
common.buy 5 648 Ft
The Harp Handbook, m. Audio-CD Steve Baker / Book Paperback
common.buy 14 166 Ft
Zebra 1 Stephanie Brettschneider / Book Sheet
common.buy 8 384 Ft
Alles was ich bin, 2 Audio-CDs (Deluxe Edition) taubkind / Audio Audio CD
common.buy 6 451 Ft
Der Erfolg der Strafvereitelung Petra Wappler / Book Paperback
common.buy 21 789 Ft

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

Fundamentals, Laplace's Equation, Diffusion Equation, Wave Equation A. P. S. Selvadurai / Book Hardback
common.buy 38 835 Ft
Object Orientation with Parallelism and Persistence Burkhard Freitag / Book Paperback
common.buy 59 378 Ft
A Soldier, A Dog and A Boy Libby Hathorn / Book Hardback
common.buy 5 371 Ft
Bluey: Love from Bluey Bluey / Book Hardback
common.buy 2 676 Ft
Appealing Act Scott Barclay / Book Hardback
common.buy 10 682 Ft
History of Birmingham, to the End of the Year 1780. by W. Hutton. William Hutton / Book Paperback
common.buy 9 510 Ft
History of Flixton, Urmston, and Davyhulme, Etc. [With Plates.] Richard Lawson / Book Paperback
common.buy 8 749 Ft
Chronicles of the Schonberg Cotta Family Elizabeth Charles / Book Paperback
common.buy 16 404 Ft
Hedda Sterne, The Discovery of Early Years 1910-1941 Cosmin Nasui / Book Hardback
common.buy 13 917 Ft
The Little Book of Children's Nursery Rhymes Anon / Book Paperback
common.buy 4 873 Ft
From Exile to Exile Edmund Mxolisi Mankazana / Book Paperback
common.buy 14 955 Ft
Human Rights and Free Trade in Mexico A. Estevez / Book Paperback
common.buy 20 470 Ft
Teacher Resilience: Managing stress and anxiety to thrive in the classroom Jamie Thom / Book Paperback
common.buy 8 970 Ft
Teaching Strategies for the College Classroom: A Collection of Faculty Articles Maryellen Weimer Ph. D. / Book Paperback
common.buy 7 406 Ft
Theological Understanding of Power for Poverty Alleviation in the Philippines Yohan Hong / Book Paperback
common.buy 10 636 Ft
Sustainable Biofuels Ajay Kumar Bhardwaj / Book Paperback
common.buy 6 146 Ft
Quantum Lens Douglas E Richards / Book Paperback
common.buy 4 988 Ft
The Last Seven Years of the Life of Henry Clay. Calvin Colton / Book Paperback
common.buy 10 272 Ft
Glencoe Life Iscience Module G: From Bacteria to Plants, Grade 7, Student Edition Mcgraw-Hill Education / Book Hardback
common.buy 20 820 Ft
Discover the World of Squirrels: Illustrated Kids Book with Fun Facts about Squirrels and Builds Kids Vocabulary Violet Burbach / Book Paperback
common.buy 6 013 Ft
OAuth 2.0: Introduction to API Security with OAuth 2.0 Joseph Moore / Book Paperback
common.buy 4 476 Ft
Budgeting For A Purpose: A Guide to Better Finances MR Jacob Keel / Book Paperback
common.buy 5 284 Ft
Solar Powered Charging Infrastructure for Electric Vehicles Larry E. Erickson / Book Paperback
common.buy 32 453 Ft
Magic The Gathering: Rules and Getting Started, Strategy Guide, Deck Building For Beginners (MTG, Deck Building, Strategy) ALEXANDER NORLAND / Book Hardback
common.buy 14 619 Ft

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