Compositionality: The Significant Difference

Name: Compositionality: The Significant Difference
Brand: Springer, Berlin
SKU: 9783540654933
Price: 423.49 PLN
Availability: InStock

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

Autor: Hans Langmaack, Amir Pnueli, Willem-Paul De Roever

Język:

Oprawa: Miękka

Wydawca: Springer, Berlin

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

423.49 zł

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

Informacje o książce

Autor

Hans Langmaack, Amir Pnueli, Willem-Paul De Roever

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

1998

strony

647

EAN

9783540654933

ISBN

3540654933

Enbook ID

05274912

Wydawca

Springer, Berlin

Waga

916

Wymiary

155 x 235 x 33

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Compositionality: The Significant Difference

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

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również