Isabelle : A Generic Theorem Prover

ISBN
9783540582441
$84.99
Author Paulson, Lawrence C.
Format Paperback
Details
  • Active Record
  • Individual Title
  • 1 vol.
  • 1994
  • xix, 329
  • Yes
  • 828
  • QA75.5-76.95