内容简介

书名: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

下载地址

猜你喜欢

大家都喜欢

热门推荐