Axiomatising the logic of computer programming - Info and Reading Options
By Robert Goldblatt
"Axiomatising the logic of computer programming" was published by Springer-Verlag in 1982 - Berlin, it has 304 pages and the language of the book is English.
“Axiomatising the logic of computer programming” Metadata:
- Title: ➤ Axiomatising the logic of computer programming
- Author: Robert Goldblatt
- Language: English
- Number of Pages: 304
- Publisher: Springer-Verlag
- Publish Date: 1982
- Publish Location: Berlin
“Axiomatising the logic of computer programming” Subjects and Themes:
- Subjects: ➤ Proof theory - Semantics - Programming languages (Electronic computers) - Théorie démonstration - Théorie commande - Méthodologie programmation - Preuve, Théorie de la - Langages de programmation - Programmation en logique - Axiomatisation - Logique mathématique - Sémantique
Edition Specifications:
- Pagination: xi, 304 p. ;
Edition Identifiers:
- The Open Library ID: OL3481510M - OL1876744W
- Online Computer Library Center (OCLC) ID: 8219255
- Library of Congress Control Number (LCCN): 82000863
- ISBN-13: 9780387112107
- ISBN-10: 0387112103
- All ISBNs: 0387112103 - 9780387112107
AI-generated Review of “Axiomatising the logic of computer programming”:
Read “Axiomatising the logic of computer programming”:
Read “Axiomatising the logic of computer programming” by choosing from the options below.
Search for “Axiomatising the logic of computer programming” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Axiomatising the logic of computer programming” in Libraries Near You:
Read or borrow “Axiomatising the logic of computer programming” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Axiomatising the logic of computer programming” at a library near you.
Buy “Axiomatising the logic of computer programming” online:
Shop for “Axiomatising the logic of computer programming” on popular online marketplaces.
- Ebay: New and used books.