Types for Proofs and Programs : International Conference, TYPES 2007, Cividale Del Friuli, Italy, May 2-5, 2007, Revised Selected Papers

ISBN
9783540680840
$89.99
Format Paperback
Details
  • Active Record
  • Individual Title
  • 1 vol.
  • 2008
  • vii, 203
  • Yes
  • 4941
  • QA75.5-76.95