Peter A. Lindsay – författare

Visar alla böcker från författaren Peter A. Lindsay.

2 produkter

1. 

   Proof in VDM: A Practitioner’s Guide

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

   Häftad, 1993

   709 kr

   Lägg i varukorg

2. 

   FME 2002: Formal Methods - Getting IT Right

   International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings

   Av Lars-Henrik Eriksson, Peter A. Lindsay

   Häftad, 2002

   1449 kr

   Lägg i varukorg