Stepwise refinement of distributed systems : models, formalisms, correctness : REX Workshop, Mook, t - detaljert visning

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

REX Workshop
Bok Engelsk 1990


Utgitt	Berlin : Springer-Verlag , c1990
Omfang	X, 808 s. : ill.
Emner	Electronic data processing - Distributed processing Congresses Logikkprogrammering Parallellprogrammering Programsemantikk Programutvikling
ISBN	0387525599. - 3540525599