Jaco W. de Bakker – författare
Visar alla böcker från författaren Jaco W. de Bakker. Handla med fri frakt och snabb leverans.
1 produkter
Stepwise Refinement of Distributed Systems
Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings
Av Jaco W. de Bakker, Willem-Paul de Roever m. fl.
Häftad, 1990
1128 kr
Lägg i varukorg
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 …
