The social marketplace for new and used books.

Get started

Learn to sell
Learn to buy
Buy textbooks
Sign up
Buy a giftcard
For the authors

Support

Help
Track a shipment
Terms of use
Privacy policy
Cookies policy

Company

About us
Work with us
Give feedback
Categories

Contact us

Fast delivery with

Safe payments by

Visa
Mastercard
Vipps
Klarna

© 2026 Bookis AS

English

Compositionality : the significant difference : international symposium, COMPOS'97, Bad Malente, Ge[r]many, September 8-12, 1997 : revised lectures

Paperback • 1998 • Norwegian Bokmål

Compositionality : the significant difference : international symposium, COMPOS'97, Bad Malente, Ge[r]many, September 8-12, 1997 : revised lectures

By Jørgen Blydt

0 Ratings • 0.0 of 5

‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌

About the book

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

ISBN

9783540654933

Publisher

Berlin : Springer

Published year

1998

Language

Norwegian Bokmål

Original title

Compositionality : the significant difference : international symposium, COMPOS'97, Bad Malente, Ge[r]many, September 8-12, 1997 : revised lectures

Format

Paperback

Shippping and returns

Shipping

Used books are shipped by the seller. Expected delivery after package is sent is 2-4 days.

Returns

Contact the seller after delivery.

Reviews · 0

0 Ratings • 0.0 of 5

You might also like

Kompendium SOS1004

Kompendium SOS1004

Gunnar C.

The Meaning Of Language

The Meaning Of Language

Robert M. Martin

Kompendium MA1103

Kompendium MA1103

Øistein Søvik

Introduction To Mathematical Logic (Extended Edition)

Introduction To Mathematical Logic (Extended Edition)

Norway) Walicki Michal (Univ Of Bergen

The Act of Musical Composition

The Act of Musical Composition

Semantics

Semantics

John I. Saeed

The logic manual

The logic manual

Volker Halbach

Kompendium

Kompendium

Didrik Fosse

Introduction to Semantics, An essential guide to the composition of meaning

Introduction to Semantics, An essential guide to the composition of meaning

Thomas G. Benedek

Composition

Composition

David Prakel

The writing process

The writing process

L.Björk

The Logic Book

The Logic Book

Merrie Bergmann

The Architecture of Language

The Architecture of Language

Introduction to the Theory of Computation

Introduction to the Theory of Computation

Michael Sipser

Komponering - Kunnskap  og Kreativitet

Komponering - Kunnskap og Kreativitet

Kai Lennert Johansen

Structuring sense. Volume 1. In Name Only.

Structuring sense. Volume 1. In Name Only.

Hagit Borer

Combinatorial Commutative Algebra

Combinatorial Commutative Algebra

Ezra Miller

Structuring sense. Volume II. The normal course of events.

Structuring sense. Volume II. The normal course of events.

Hagit Borer

An Introduction to Functional Grammar

An Introduction to Functional Grammar

Michael Alexander Kirkwood Halliday

Varieties of Modetnism

Varieties of Modetnism

Paul. Calderwood

Concepts in Programming Languages

Concepts in Programming Languages

John Abercrombie

Syntactic Theory A Formal Introduction

Syntactic Theory A Formal Introduction

Ivan A. Sag

Lexical-functional Grammar An Introduction to Parallel Constraint-based Syntax

Lexical-functional Grammar An Introduction to Parallel Constraint-based Syntax

Yehuda N. Falk

Handbook of Contemporary Syntactic Theory

Handbook of Contemporary Syntactic Theory

Mark (EDT) Baltin

The Philosophy of Language

The Philosophy of Language

A. P. Martinich

Syntactic theory. A formal introduction.

Syntactic theory. A formal introduction.

Ivan A. Sag

Kompendium. 7 : Oppgavehefte

Kompendium. 7 : Oppgavehefte

Ivar Sjaastad

A Companion to Metaphysics

A Companion to Metaphysics

Jaegwon Kim

Semiotikk

Semiotikk

Keld Jørgensen

The Language of First-Order Logic

The Language of First-Order Logic

Jon Barwise

Formal Description Techniques

Formal Description Techniques

K.J. Turner

The writing process : composition writing for university students

The writing process : composition writing for university students

Lennart A. Bjork

The Craft of Musical Composition, Book I: Theory

The Craft of Musical Composition, Book I: Theory

Paul Hindemith

Modal Logic An Introduction

Modal Logic An Introduction

Brian F. Chellas

Logic in linguistics

Logic in linguistics

Jens alleood,

Johan Scharffenberg

Johan Scharffenberg

Olav Sundet

Materialien zu Habermas

Materialien zu Habermas

Winfried Dallmayr

Semantikk i teori og praksis

Semantikk i teori og praksis

Odd Wormnæs