Peter A. Lindsay – författare

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

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

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

   1128 kr

   Lägg i varukorg

   This volume contains the proceedings of the 2002 symposium Formal Methods th Europe (FME 2002). The symposium was the 11 in a series that began with a VDM Europe symposium in 1987. The symposia are traditionally held every 18 months. In 2002 the symposium was held at the University of Copenhagen, …

3. 

   FME 2002: Formal Methods - Getting IT Right

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

   Av Peter A. Lindsay, Lars-Henrik Eriksson

   E-bok, 2003

   1502 kr

   Lägg i varukorg

   This volume contains the proceedings of the 2002 symposium Formal Methods th Europe (FME 2002). The symposium was the 11 in a series that began with a VDM Europe symposium in 1987. The symposia are traditionally held every 18 months. In 2002 the symposium was held at the University of Copenhagen, …