Compositionality: The Significant Difference

Name: Compositionality: The Significant Difference
Brand: Springer, Berlin
SKU: 9783540654933
Price: 105.19 EUR
Availability: InStock

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

Автор: Hans Langmaack, Amir Pnueli, Willem-Paul De Roever

Език:

Корици: С меки корици

Издател: Springer, Berlin

Наличност: Външен склад

Изпращаме след 5-8 дни

105.19 € 205.74 лв

This book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad Ma...

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

Автор

Hans Langmaack, Amir Pnueli, Willem-Paul De Roever

Език

Английски език

Корици

Книга - С меки корици

Издадена

1998

страници

647

EAN

9783540654933

ISBN

3540654933

Enbook ID

05274912

Издател

Springer, Berlin

Теглоt

916

Размери

155 x 235 x 33

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

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.

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

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

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Compositionality: The Significant Difference

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

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

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

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

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