Gerard Holzmann – författare

Visar alla böcker från författaren Gerard Holzmann.

2 produkter

1. 

   NASA Formal Methods

   7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings

   Av Klaus Havelund, Gerard Holzmann m. fl.

   Häftad, 2015

   729 kr

   Lägg i varukorg

2. 

   NASA Formal Methods

   Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings

   Av Mihaela Bobaru, Klaus Havelund m. fl.

   Häftad, 2011

   729 kr

   Lägg i varukorg