Book Search Results
Axiomatising The Logic Of Computer Programming
Find "Axiomatising The Logic Of Computer Programming" through these Search Results from the best data sources on the web and enjoy your read!
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Axiomatising the logic of computer programming
By Robert Goldblatt
“Axiomatising the logic of computer programming” Metadata:
- Title: ➤ Axiomatising the logic of computer programming
- Author: Robert Goldblatt
- Language: English
- Number of Pages: Median: 304
- Publisher: Springer-Verlag
- Publish Date: 1982
- Publish Location: New York - 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 Identifiers:
- The Open Library ID: OL3481510M
- Online Computer Library Center (OCLC) ID: 8219255
- Library of Congress Control Number (LCCN): 82000863
- All ISBNs: 0387112103 - 9780387112107
Access and General Info:
- First Year Published: 1982
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Axiomatising the logic of computer programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Axiomatising the Logic of Computer Programming Lecture Notes in Computer Science
By R. Goldblatt
“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
“Axiomatising the Logic of Computer Programming Lecture Notes in Computer Science” Subjects and Themes:
- Subjects: Computer programming
Edition Identifiers:
- The Open Library ID: OL26149301M
- All ISBNs: 3540112103 - 9783540112105
Access and General Info:
- First Year Published: 1982
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Axiomatising the Logic of Computer Programming Lecture Notes in Computer Science at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
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.