Explore: Méthodologie Programmation
Discover books, insights, and more — all in one place.
Learn more about Méthodologie Programmation with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “m%C3%A9thodologie-programmation”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Programming in the 1990s
By Edward Cohen
“Programming in the 1990s” Metadata:
- Title: Programming in the 1990s
- Author: Edward Cohen
- Language: English
- Number of Pages: Median: 265
- Publisher: Springer-Verlag
- Publish Date: 1990
- Publish Location: New York
“Programming in the 1990s” Subjects and Themes:
- Subjects: ➤ Computer programming - Computer science - Software engineering - Méthodologie programmation - Programmation - Electronic digital computers, programming
Edition Identifiers:
- The Open Library ID: OL1857894M
- Library of Congress Control Number (LCCN): 90010152
- All ISBNs: 9780387973821 - 0387973826
Access and General Info:
- First Year Published: 1990
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Programming in the 1990s at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Axiomatising 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.