Come Back

Stepwise refinement of distributed systems : models, formalisms, correctness

REX school/symposium <1993

Information

You can find it in

Category

Testo

Nature

Monografia

Title

Stepwise refinement of distributed systems : models, formalisms, correctness

Names

Rozenberg, Grzegorz
Roever, W.-P. : de <1943- >
Bakker, Jacobus Willem : de <1939- >
[Autore] REX school/symposium <1993

Description

Stepwise refinement of distributed systems : models, formalisms, correctness / J. W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.)

Physical description

X, 808 p. ; 25 cm

Standard numbers

ISBN: 0387525599, New York
ISBN: 3540525599, Berlin

Date

c1990

Place of publication

Berlin [etc.]

Village

GERMANIA

Tongue

INGLESE

Source

Biblioteche SBN Sardegna

IT\ICCU\AQ1\0017895

Resources links

http://id.sbn.it/bid/AQ10017895

Comments

Load others

Write a comment

Send

Stepwise refinement of distributed systems : models, formalisms, correctness

Tag

Los hechos de mayo de 1937, debate sabado 10 de mayo, salon de actos via Layetana. Intervienen: M. Cruells, J. Gorkin, F. Montseny, W. Solano

Los hechos de mayo de 1937, debate sabado 10 de mayo, salon de actos via Layetana. Intervienen: M. Cruells, J. Gorkin, F. Montseny, W. Solano

Foundations of object-oriented languages : REX school/workshop

Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988

Symposium on love: the devastating little breath of eros

Batman : la maschera del fantasma

W. A. Mozart

Joueurs de flute : orchestra di flauti

Comments

Sardinia region

Stepwise refinement of distributed systems : models, formalisms, correctness

Tag

Los hechos de mayo de 1937, debate sabado 10 de mayo, salon de actos via Layetana. Intervienen: M. Cruells, J. Gorkin, F. Montseny, W. Solano

Los hechos de mayo de 1937, debate sabado 10 de mayo, salon de actos via Layetana. Intervienen: M. Cruells, J. Gorkin, F. Montseny, W. Solano

Foundations of object-oriented languages : REX school/workshop

Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988

Symposium on love: the devastating little breath of eros

Batman : la maschera del fantasma

W. A. Mozart

Joueurs de flute : orchestra di flauti

Comments

Batman : la maschera del fantasma