John Penix - Böcker
Visar alla böcker från författaren John Penix.
1 produkt
1 produkt
SPIN Model Checking and Software Verification
7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings
Häftad, Engelska, 2000
709 kr
Skickas inom 10-15 vardagar