Cover Image

Stepwise refinement of distributed systems : models, formalisms, correctness : REX workshop, Mook, the Netherlands, May 29-June 2, 1989 : proceedings /

Show other versions (1)

The stepwise refinement method postulates a system construction route that starts with a high-level specification, goes through a number of provably correct development steps, and ends with an executable program. The contributions to this volume survey the state of the art in this extremely active r...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Bakker, J. W. de (Jacobus Willem), 1939-, Roever, W.-P. de, 1943-, Rozenberg, Grzegorz
Format: eBook
Language:English
Published: Berlin ; New York : Springer-Verlag, ©1990.
Series:Lecture notes in computer science ; 430.
Subjects:
Electronic data processing > Distributed processing > Congresses.
méthode approximation.
correction programme.
formalisme.
modèle.
programmation en logique.
concurrence.
système réparti.
REX.
Traitement réparti > Congrès.
Electronic data processing > Distributed processing.
Electronic books.
Conference proceedings.
Online Access:Connect to the full text of this electronic book

Similar Items