Compositionality: The Significant Difference

Name: Compositionality: The Significant Difference
Brand: Springer, Berlin
SKU: 9783540654933
Price: 553.26 RON
Availability: InStock

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

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

Limbă:

Legare: Carte broșată

Editura: Springer, Berlin

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

553.26 lei

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

Informații despre carte

Autor

Hans Langmaack, Amir Pnueli, Willem-Paul De Roever

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

1998

Pagini

647

EAN

9783540654933

ISBN

3540654933

Enbook ID

05274912

Editura

Springer, Berlin

Greutate

916

Dimensiuni

155 x 235 x 33

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Compositionality: The Significant Difference

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

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și