Brian Ritchie – författare

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

1 produkter

1. 

   Proof in VDM: A Practitioner’s Guide

   Av Juan C. Bicarregui, John Fitzgerald m. fl.

   Häftad, 1993

   551 kr

   Lägg i varukorg

   Formal specifications were first used in the description of program­ ming languages because of the central role that languages and their compilers play in causing a machine to perform the computations required by a programmer. In a relatively short time, specification notations have found their …