Axiomatising the Logic of Computer Programming Lecture Notes in Computer Science - Info and Reading Options
By R. Goldblatt
"Axiomatising the Logic of Computer Programming Lecture Notes in Computer Science" was published by Springer in 1982 - Berlin, Heidelberg.
“Axiomatising the Logic of Computer Programming Lecture Notes in Computer Science” Metadata:
- Title: ➤ Axiomatising the Logic of Computer Programming Lecture Notes in Computer Science
- Author: R. Goldblatt
- Publisher: Springer
- Publish Date: 1982
- Publish Location: Berlin, Heidelberg
“Axiomatising the Logic of Computer Programming Lecture Notes in Computer Science” Subjects and Themes:
- Subjects: Computer programming
Edition Identifiers:
- The Open Library ID: OL26149301M - OL17558876W
- ISBN-13: 9783540112105 - 9783540390381
- All ISBNs: 9783540112105 - 9783540390381
AI-generated Review of “Axiomatising the Logic of Computer Programming Lecture Notes in Computer Science”:
Read “Axiomatising the Logic of Computer Programming Lecture Notes in Computer Science”:
Read “Axiomatising the Logic of Computer Programming Lecture Notes in Computer Science” by choosing from the options below.
Search for “Axiomatising the Logic of Computer Programming Lecture Notes in Computer Science” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Axiomatising the Logic of Computer Programming Lecture Notes in Computer Science” in Libraries Near You:
Read or borrow “Axiomatising the Logic of Computer Programming Lecture Notes in Computer Science” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Axiomatising the Logic of Computer Programming Lecture Notes in Computer Science” at a library near you.
Buy “Axiomatising the Logic of Computer Programming Lecture Notes in Computer Science” online:
Shop for “Axiomatising the Logic of Computer Programming Lecture Notes in Computer Science” on popular online marketplaces.
- Ebay: New and used books.