MPG.eBooks - Search Results - (((( descriptive phase ) or ( descriptive clause ))) or ((( descriptions part ) or ( descriptions based ))))

Search alternatives:
descriptive clause » descriptive case , descriptive claims , descriptions clauses
descriptions based » description based , descriptors based , descriptor based
descriptive phase » descriptive case , descriptive plates , descriptions phase
descriptions part » description part , descriptors part , descriptions a

Cover Image

1

Stepwise Refinement of Distributed Systems : Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings

Published 1990

Springer Berlin Heidelberg

Table of Contents: “...Composing specifications -- Refinement calculus, part I: Sequential nondeterministic programs...”