{"title":"Passages","authors":"Alex Groce","doi":"10.1145/3635439.3635441","DOIUrl":null,"url":null,"abstract":"Donald A. MacKenzie's Mechanizing Proof: Computing, Risk, and Trust is a highly readable and generally insightful history of, primarily, the effort to prove computer programs safe and correct. It won the Robert K. Merton (see the Passages column for October 2020) award from the Science, Knowledge, and Technology section of the American Sociological Association in 2003. It is a book of history and sociology, but is likely to also introduce some technical content that will be new to, yet of interest to, many software engineers.","PeriodicalId":432885,"journal":{"name":"ACM SIGSOFT Software Engineering Notes","volume":"70 S9","pages":"10 - 10"},"PeriodicalIF":0.0000,"publicationDate":"2023-12-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"ACM SIGSOFT Software Engineering Notes","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/3635439.3635441","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
Donald A. MacKenzie's Mechanizing Proof: Computing, Risk, and Trust is a highly readable and generally insightful history of, primarily, the effort to prove computer programs safe and correct. It won the Robert K. Merton (see the Passages column for October 2020) award from the Science, Knowledge, and Technology section of the American Sociological Association in 2003. It is a book of history and sociology, but is likely to also introduce some technical content that will be new to, yet of interest to, many software engineers.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
