Del 31 - Cambridge Tracts in Theoretical Computer Science
Higher Order Logic and Hardware Verification
Häftad, Engelska, 2009
709 kr
Skickas inom 7-10 vardagar
T. F. Melham – författare
Visar alla böcker från författaren .
2 produkter
2 produkter
- Del 31 - Cambridge Tracts in Theoretical Computer Science
Higher Order Logic and Hardware Verification
Inbunden, Engelska, 19932 089 kr
Skickas inom 7-10 vardagar