John Penix - Böcker

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

1 produkt

Kategorier

1 produkt

Del 1885

Del 1885 - Lecture Notes in Computer Science

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, Engelska, 2000

739 kr

Skickas inom 10-15 vardagar