Search results for ‘C.B. Jones,K.D. Jones’

Filter & Refine

      Cover image for The Vienna Development Method: The Meta-Language
      Paperback
      Add to list Added to list

      The Vienna Development Method: The Meta-Language

      $81.99

      Available to order, ships in 7-14 daysAvailable to order

      Cover image for mural: A Formal Development Support System
      Paperback
      Add to list Added to list

      mural: A Formal Development Support System

      C.B. Jones,K.D. Jones

      Formal methods enable computer architecture and software design to be mathematically proved correct before they are implemented.

      $138.99

      Available to order, ships in 7-14 daysAvailable to order

      Cover image for Correlation of Studies: Report of Sub-Committee of the Committee of Fifteen, Com. Wm. T. Harris, Chairman, Supt. J.M. Greenwood, Supt. C.B. Gilbert, Supt. L.H. Jones, Supt. W.H. Maxwell
      Hardback
      Add to list Added to list

      Correlation of Studies: Report of Sub-Committee of the Committee of Fifteen, Com. Wm. T. Harris, Chairman, Supt. J.M. Greenwood, Supt. C.B. Gilbert, Supt. L.H. Jones, Supt. W.H. Maxwell

      This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the…

      $99.99

      Available to order, ships in approx 2 weeksAvailable to order

      Cover image for Larch: Languages and Tools for Formal Specification
      Paperback
      Add to list Added to list

      Larch: Languages and Tools for Formal Specification

      John V. Guttag,James J. Horning

      It takes longer than expected, the software’s functionality and performance are not as wonderful as hoped, and the software is not particularly malleable or easy to maintain. The intended audience…

      $130.99

      Available to order, ships in 7-14 daysAvailable to order