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

Shop on Amazon — pick your country

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

Buy New on Amazon 🇺🇸

Book Details

Author(s) Lawrence C Paulson

Publisher University of Cambridge, Computer Laboratory

ISBN / ASIN B0007BMWYE

ISBN-13 978B0007BMWY1

Sales Rank #99,999,999

Marketplace United States 🇺🇸

Ratings & Reviews No reviews yet — be the first!

No reviews yet.