Description: Please see photos for condition and content. The summary for this publication relates to the then-current issues and problems of proving that a program (written in whatever computer language) correctly does what is intended to do. As you might expect, anything vintage with computers will use acronyms. First is SIGPLAN: The ACM Special Interest Group on Programming Languages (SIGPLAN) explores programming language concepts and tools, focusing on design, implementation, practice, and theory. Its members are programming language developers, educators, implementers, researchers, theoreticians, and users.. Next is SIGACT: SIGACT is an international organization that fosters and promotes the discovery and dissemination of high quality research in theoretical computer science (TCS), the formal analysis of efficient computation and computational processes. Next is ACM: Association for Computing Machinery: the world's largest educational and scientific computing society, delivers resources that advance computing as a science and a profession. This item is from my brother-in-law's personal library.
Price: 5 USD
Location: Lisle, Illinois
End Time: 2024-10-21T17:36:11.000Z
Shipping Cost: 5.38 USD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 30 Days
Refund will be given as: Money Back
Return policy details:
Book Title: Proceedings of an ACM Conference…Proving Assertions about Program
Custom Bundle: No
Book Series: SIGPLAN/SIGACT
Item Length: 0 in
Vintage: Yes
Personalize: No
Format: Paperback
Language: English
Item Height: 8.5”
Personalized: No
Features: PUR-Bound (perfect)
Topic: Computer programming
Item Width: .5 in
Signed: No
Ex Libris: No
Narrative Type: Nonfiction
Publisher: Association for Computing Machinery
Inscribed: No
Publication Year: 1972
Type: Conference manual
Era: 1970s
Author: Various Contributors
Genre: Programming, Programming Languages, Coding
Country/Region of Manufacture: United States
Item Weight: 1 lb 1 oz
Intended Audience: Adults
