Types for Proofs and Programs : International Workshop, Types '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers

ISBN
9783540665373
$89.99
Format Paperback
Details
  • Active Record
  • Individual Title
  • Books
  • 1 vol.
  • 1999
  • viii, 212
  • Yes
  • 1657
  • Print
  • QA75.5-76.95