Torna Indietro

Stepwise refinement of distributed systems : models, formalisms, correctness

REX school/symposium <1993

Informazioni

Lo trovi in

Categoria

Testo

Natura

Monografia

Titolo

Stepwise refinement of distributed systems : models, formalisms, correctness

Nomi

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

Descrizione

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

Descrizione Fisica

X, 808 p. ; 25 cm

Numeri Standard

ISBN: 0387525599, New York
ISBN: 3540525599, Berlin

Data

c1990

Luogo di pubblicazione

Berlin [etc.]

Paese

GERMANIA

Lingua

INGLESE

Fonte

Biblioteche SBN Sardegna

IT\ICCU\AQ1\0017895

Link Risorse

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

Commenti

Carica altri

Scrivi un commento

Invia

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

Commenti

Regione Sardegna

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

Commenti

Batman : la maschera del fantasma