内容简介
书名:Program = Proof出版社:Independently published
作者:Samuel Mimram
出版年份:2020
电子书格式: pdf
简介:Dive into the fascinating intersection of programming and formal methods with “Program = Proof.” This book by Samuel Mimram offers a unique perspective on how rigorous proof techniques can enhance software development. Explore the concepts of program verification and the power of formal logic in creating reliable and secure software. Discover practical applications and insights on how to apply these principles to your projects.
ISBN:9788615591830, 97986
