Boudewijn Haverkort – författare

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

2 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

   569 kr

   Lägg i varukorg

   These are the joint ?nal proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006) and the ?fth International Workshop on Parallel and Distributed Methods in Veri?cation (PDMC 2006). Both workshops were organized as satellite events of CONCUR …

2. 

   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 Jaco van de Pol, Martin Leucker m. fl.

   E-bok, 2007

   739 kr

   Lägg i varukorg

   These are the joint ?nal proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006) and the ?fth International Workshop on Parallel and Distributed Methods in Veri?cation (PDMC 2006). Both workshops were organized as satellite events of CONCUR …