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

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

AuthorMaxim Likhachev

PublisherSchool of Computer Science, Carnegie Mellon University

Shop on Amazon — choose your country

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

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