Bokus

Tim Denvir – författare

Visar alla böcker från författaren Tim Denvir. Handla med fri frakt och snabb leverans.

5 produkter

  1. Robin Whitty, Rosalind Herman, Tim Denvir - Formal Aspects of Measurement, E-bok. Tillgänglighet: Lägg i varukorg

    Formal Aspects of Measurement

    Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991

    Av Robin Whitty, Rosalind Herman m. fl.

    E-bok, 2012

    755 kr

    Lägg i varukorg

    This book contains the eight invited papers presented at the workshop on Formal Aspects of Measurement held at South Bank University on 5th May 1991, organised by the British Computer Society''s Special Interest Group on Formal Aspects of Computer Science (FACS). In addition, there are five papers …

  2. Tim Denvir, Roger C. Shaw, Cliff B. Jones - 5th Refinement Workshop, E-bok. Tillgänglighet: Lägg i varukorg

    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 …

  3. Cliff B. Jones, Roger C. Shaw, Tim Denvir - 5th Refinement Workshop, Häftad. Tillgänglighet: Lägg i varukorg

    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

    568 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 …

  4. Tim Denvir, Rosalind Herman, Robin Whitty - Formal Aspects of Measurement, Häftad. Tillgänglighet: Lägg i varukorg

    Formal Aspects of Measurement

    Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991

    Av Tim Denvir, Rosalind Herman m. fl.

    Häftad, 1992

    568 kr

    Lägg i varukorg

    This book contains the eight invited papers presented at the workshop on Formal Aspects of Measurement held at South Bank University on 5th May 1991, organised by the British Computer Society's Special Interest Group on Formal Aspects of Computer Science (FACS). In addition, there are five papers …

  5. Maurice Naftalin, Tim Denvir, Miquel Bertran - FME '94: Industrial Benefit of Formal Methods, Häftad. Tillgänglighet: Lägg i varukorg

    FME '94: Industrial Benefit of Formal Methods

    Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings

    Av Maurice Naftalin, Tim Denvir m. fl.

    Häftad, 1994

    1129 kr

    Lägg i varukorg

    This volume presents the proceedings of the Second International Symposium of Formal Methods Europe, held in Barcelona, Spain in October 1994.Besides two invited papers and seven industrial usage reports, there are 32 full papers selected from some 150 submissions. The industrial usage reports …