Compositionality: The Significant Difference

Name: Compositionality: The Significant Difference
Brand: Springer, Berlin
SKU: 9783540654933
Price: 2286 CZK
Availability: InStock

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

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

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer, Berlin

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

2 286 Kč

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

Informace o knize

Autor

Hans Langmaack, Amir Pnueli, Willem-Paul De Roever

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

1998

Stránek

647

EAN

9783540654933

ISBN

3540654933

Enbook ID

05274912

Vydavatel

Springer, Berlin

Hmotnost

916

Rozměry

155 x 235 x 33

Kompletní popis

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.

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Compositionality: The Significant Difference

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

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také