https://www.ebooknetworking.net/books_detail-B00010PB7G.html

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

AuthorCary C. Borchardt

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

Shop on Amazon — choose your country

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

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 🇺🇸