STAR (simple tool for automated reasoning) tutorial guide and reference manual (SuDoc NAS 1.26:177157)

Name: STAR (simple tool for automated reasoning) tutorial guide and reference manual (SuDoc NAS 1.26:177157)
Author: Cary C. Borchardt
ISBN: 978B00010PB78

Author Cary C. Borchardt

Publisher National Aeronautics and Space Administration, Jet Propulsion Laboratory, California Institute of Te

📄 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)Cary C. Borchardt

PublisherNational Aeronautics and Space Administration, Jet Propulsion Laboratory, California Institute of Te

ISBN / ASINB00010PB7G

ISBN-13978B00010PB78

Sales Rank99,999,999

MarketplaceUnited States 🇺🇸