John Penix – författare

Visar alla böcker från författaren John Penix.

1 produkter

1. 

   SPIN Model Checking and Software Verification

   7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings

   Av Klaus Havelund, John Penix m. fl.

   Häftad, 2000

   729 kr

   Lägg i varukorg