A preliminary user's manual for Isabelle (Technical report. University of Cambridge. Computer Laboratory)

Name: A preliminary user's manual for Isabelle (Technical report. University of Cambridge. Computer Laboratory)
Author: Lawrence C Paulson
ISBN: 978B0007BMWY1

Author Lawrence C Paulson

Publisher University of Cambridge, Computer Laboratory

📄 Viewing lite version Full site ›

🌎 Shop on Amazon — choose country

🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India

Price not listed

🛒 Buy New on Amazon 🇺🇸

Book Details

Author(s)Lawrence C Paulson

PublisherUniversity of Cambridge, Computer Laboratory

ISBN / ASINB0007BMWYE

ISBN-13978B0007BMWY1

Sales Rank99,999,999

MarketplaceUnited States 🇺🇸