ARA: Formal analysis ([Research paper] / Carnegie Mellon University. School of Computer Science)

Name: ARA: Formal analysis ([Research paper] / Carnegie Mellon University. School of Computer Science)
Author: Maxim Likhachev
ISBN: 978B0006S9O45

Author Maxim Likhachev

Publisher School of Computer Science, Carnegie Mellon University

📄 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)Maxim Likhachev

PublisherSchool of Computer Science, Carnegie Mellon University

ISBN / ASINB0006S9O4O

ISBN-13978B0006S9O45

Sales Rank99,999,999

MarketplaceUnited States 🇺🇸