Roger C. Shaw – författare
Visar alla böcker från författaren Roger C. Shaw. Handla med fri frakt och snabb leverans.
4 produkter
5th Refinement Workshop
Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8–10 January 1992
Av Tim Denvir, Roger C. Shaw m. fl.
E-bok, 2013
755 kr
Lägg i varukorg
Refinement is the term used to describe systematic and formal methods of specifying hard- and software and transforming the specifications into designs and implementations. The value of formal methods in producing reliable hard- and software is widely appreciated by academics and workers in …
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 …
5th Refinement Workshop
Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8–10 January 1992
Av Cliff B. Jones, Roger C. Shaw m. fl.
Häftad, 1992
567 kr
Lägg i varukorg
Refinement is the term used to describe systematic and formal methods of specifying hardware and software and transforming the specifications into designs and implementations. The value of formal methods in producing reliable hard-and software is widely appreciated by academics and workers in …
