Axiomatising the Logic of Computer Programming (Lecture Notes in Computer Science)

Name: Axiomatising the Logic of Computer Programming (Lecture Notes in Computer Science)
Author: R. Goldblatt
ISBN: 9783540112105

Author R. Goldblatt

Publisher Springer

📄 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

PublisherSpringer

ISBN / ASIN3540112103

ISBN-139783540112105

MarketplaceFrance 🇫🇷