Jaco Geldenhuys – författare

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

2 produkter

1. 

   Model Checking Software

   22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings

   Av Bernd Fischer, Jaco Geldenhuys

   Häftad, 2015

   567 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented – 14 regular papers and 4 tool or new idea papers – were carefully reviewed and selected from 27 …

2. 

   Model Checking Software

   22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings

   Av Jaco Geldenhuys, Bernd Fischer

   E-bok, 2015

   739 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented – 14 regular papers and 4 tool or new idea papers – were carefully reviewed and selected from 27 …