Planning and Imperative Program Synthesis: A Deductive Approach

Name: Planning and Imperative Program Synthesis: A Deductive Approach
Author: Richard Waldinger
ISBN: 978B00DU2BXM0

Author Richard Waldinger

Publisher PN

📄 Viewing lite version Full site ›

🌎 Shop on Amazon — choose country

⌛ 🇫🇷 France pricing being fetched… Prices will appear once fetched — usually within a few minutes.

View in: 🇺🇸 USA

Book Details

PublisherPN

ISBN / ASINB00DU2BXME

ISBN-13978B00DU2BXM0

MarketplaceFrance 🇫🇷