Bokus

Peter A. Lindsay

Visar alla böcker från författaren Peter A. Lindsay. Handla med fri frakt och snabb leverans.

  1. FME 2002: Formal Methods - Getting IT Right

    FME 2002: Formal Methods - Getting IT Right

    2002

  2. Proof in VDM: A Practitioner’s Guide

    Proof in VDM: A Practitioner’s Guide

    1993