Jaco van de Pol – författare

Visar alla böcker från författaren Jaco van de Pol.

1 produkter

1. 

   Formal Methods: Applications and Technology

   11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected

   Av Lubos Brim, Boudewijn Haverkort m. fl.

   Häftad, 2007

   739 kr

   Lägg i varukorg