Higher Order Logic and Hardware Verification: 31 (Cambridge Tracts in Theoretical Computer Science, Series Number 31)

Prices from
106.96

Sponsored links

COMPARE ALL WEBSHOPS (2)

Description

Higher Order Logic and Hardware Verification: 31 (Cambridge Tracts in Theoretical Computer Science, Series Number 31)

Description Description
Product Specifications Product specifications
Related results Related results
Next
Previous

Compare webshops (2)

Sponsored links · Some shops pay us a fee

Sort by:

£ 106.96

£ 106.96

Description (0)

Higher Order Logic and Hardware Verification: 31 (Cambridge Tracts in Theoretical Computer Science, Series Number 31)

Product specifications

Brand Cambridge University Press
EAN
  • 9780521417181

Cambridge University Press

Modal Logic: 53 (Cambridge Tracts in Theoretical Computer Science, Series Number 53)

£ 82.43
Compare 2 stores 2 stores

Cambridge University Press

Logic and Information (Cambridge Tracts in Theoretical Computer Science (Paperback))

£ 36.10
Compare 2 stores 2 stores

Cambridge University Press

Modal Logic (Cambridge Tracts in Theoretical Computer Science Book 53)

£ 78.67
More Information More Info

Cambridge University Press

Information Flow: The Logic of Distributed Systems: 44 (Cambridge Tracts in Theoretical...

£ 68.36
Compare 2 stores 2 stores
Featured Choice
£ 106.96
To Shop