Types for Proofs and Programs : Second International Workshop, Types 2002, Berg en Dal, the Netherlands, April 2002 - Selected Papers

ISBN
9783540140313
$109.00
Format Paperback
Details
  • Active Record
  • Individual Title
  • Books
  • 1 vol.
  • 2003
  • cccxliv, 336
  • Yes
  • 2646
  • Print
  • QA75.5-76.95