Compositionality: The Significant Difference

Name: Compositionality: The Significant Difference
Brand: Springer, Berlin
SKU: 9783540654933
Price: 99.9 EUR
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:

Väzba: Brožovaná

Vydavateľ: Springer, Berlin

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

99.90 €

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

Informácie o knihe

Autor

Hans Langmaack, Amir Pnueli, Willem-Paul De Roever

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

1998

Stránok

647

EAN

9783540654933

ISBN

3540654933

Enbook ID

05274912

Vydavateľ

Springer, Berlin

Hmotnosť

916

Rozmery

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 zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Compositionality: The Significant Difference

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

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež