Compositionality: The Significant Difference

Name: Compositionality: The Significant Difference
Brand: Springer, Berlin
SKU: 9783540654933
Price: 38537 HUF
Availability: InStock

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

Szerző: Hans Langmaack, Amir Pnueli, Willem-Paul De Roever

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer, Berlin

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

38 537 Ft

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

Információk a könyvről

Szerző

Hans Langmaack, Amir Pnueli, Willem-Paul De Roever

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

1998

oldal

647

EAN

9783540654933

ISBN

3540654933

Enbook ID

05274912

Kiadó

Springer, Berlin

Súly

916

Méretek

155 x 235 x 33

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Compositionality: The Significant Difference

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

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták