Joseph M. Morris – författare
Visar alla böcker från författaren Joseph M. Morris. Handla med fri frakt och snabb leverans.
2 produkter
4th Refinement Workshop
Proceedings of the 4th Refinement Workshop, organised by BCS-FACS, 9–11 January 1991, Cambridge
Av Roger C. Shaw, Joseph M. Morris
E-bok, 2013
755 kr
Lägg i varukorg
This volume contains the proceedings ofthe 4th Refinement Workshop which was organised by the British Computer Society specialist group in Formal Aspects of Computing Science and held in Wolfson College, Cambridge, on 9-11 January, 1991. The term refinement embraces the theory and practice of using …
4th Refinement Workshop
Proceedings of the 4th Refinement Workshop, organised by BCS-FACS, 9–11 January 1991, Cambridge
Av Joseph M. Morris, Roger C. Shaw
Häftad, 1991
567 kr
Lägg i varukorg
This volume contains the papers presented at the 4th Refinement Workshop, organized by the Formal Aspects group of the British Computer Society, and held in Cambridge on January 9-11, 1991. "Refinement" is the term used to describe the systematic and formal methodology of specifying hardware and …
