TYPES for Proofs and Programs: International Workshop, 2006, Nottingham, UK, April 18-21, Revised Selected Papers: 4502 (Lecture Notes in Computer Science, 4502)

Prices from
44.99

Sponsored links

COMPARE ALL WEBSHOPS (2)

Description

TYPES for Proofs and Programs: International Workshop, 2006, Nottingham, UK, April 18-21, Revised Selected Papers: 4502 (Lecture Notes in Computer Science, 4502)

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:

£ 44.99

£ 44.99

Description (0)

TYPES for Proofs and Programs: International Workshop, 2006, Nottingham, UK, April 18-21, Revised Selected Papers: 4502 (Lecture Notes in Computer Science, 4502)

Product specifications

Brand Springer
EAN
  • 9783540744634

Springer

TYPES for Proofs and Programs: International Workshop, 2004, Jouy en Josas, France,...

£ 44.99
Compare 2 stores 2 stores

Springer

Datalog Reloaded: First International Workshop, 2010, Oxford, UK, March 16-19, 2010. Revised...

£ 44.97
Compare 2 stores 2 stores

Springer

Termination Proofs for Logic Programs: 446 (Lecture Notes in Computer Science, 446)

£ 44.99
Compare 2 stores 2 stores

Springer

Next Generation Computer Animation Techniques: Third International Workshop, AniNex 2017, Bournemouth, UK,...

£ 44.99
Compare 2 stores 2 stores
Featured Choice
£ 44.99
To Shop