图书目录大全

 windowsfront.com logo

The Foundations of Program Verification, 2nd Edition 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024

The Foundations of Program Verification, 2nd Edition
☆☆☆☆☆
简体网页||繁体网页
Jacques Loeckx 作者
Wiley
译者
1987-03-11 出版日期
240 页数
5412.00元 价格
Hardcover
丛书系列
9780471912828 图书编码

The Foundations of Program Verification, 2nd Edition 在线电子书 图书标签:  

喜欢 The Foundations of Program Verification, 2nd Edition 在线电子书 的读者还喜欢


下载链接在页面底部


点击这里下载
    
想要找书就要到 图书目录大全
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

发表于2024-09-12

linkedin mastodon messenger pinterest reddit telegram viber vkontakte whatsapp 复制链接

The Foundations of Program Verification, 2nd Edition 在线电子书 epub 下载 mobi 下载 pdf 下载 txt 下载 2024

The Foundations of Program Verification, 2nd Edition 在线电子书 epub 下载 mobi 下载 pdf 下载 txt 下载 2024

The Foundations of Program Verification, 2nd Edition 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024


The Foundations of Program Verification, 2nd Edition 在线电子书 用户评价

评分☆☆☆☆☆

How to assure your program's correctness? A little bit old though.

评分☆☆☆☆☆

How to assure your program's correctness? A little bit old though.

评分☆☆☆☆☆

How to assure your program's correctness? A little bit old though.

评分☆☆☆☆☆

How to assure your program's correctness? A little bit old though.

评分☆☆☆☆☆

How to assure your program's correctness? A little bit old though.

The Foundations of Program Verification, 2nd Edition 在线电子书 著者简介

The Foundations of Program Verification, 2nd Edition 在线电子书 图书目录

The Foundations of Program Verification, 2nd Edition 在线电子书 pdf 下载 txt下载 epub 下载 mobi 在线电子书下载

The Foundations of Program Verification, 2nd Edition 在线电子书 图书描述

The Foundations of Program Verification Second Edition Jacques Loeckx and Kurt Sieber Fachbereich informatik Universitat des Saariandes, Saarbrucken, Germany In collaboration with Ryan D. Stansifer Department of Computer Science Cornell University, USA This revised edition provides a precise mathematical background to several program verification techniques. It concentrates on those verification methods that have now become classic, such as the inductive assertions method of Floyd, the axiomatic method of Hoare, and Scott's fixpoint induction. The aim of the book is to present these different verification methods in a simple setting and to explain their mathematical background in particular the problems of correctness and completeness of the different methods are discussed in some detail and many helpful examples are included. Contents Authors' PrefacePart A: Preliminaries Mathematical Preliminaries Predicate Logic Part B: Semantics of Programming Languages Three Simple Programming Languages Fixpoints in Complete Partial Orders Denotational Semantics Part C: Program Verification Methods Correctness of Programs The Classical Methods of Floyd The Axiomatic Method of Hoare Verification Methods Based on Denotational Semantics LCF A Logic for Computable Functions Part D: Prospects An Overview of Further Developments Bibliography Index Review of the First Edition '. one of the better books currently available which introduces program verification.' G. Bunting, University College Cardiff University Computing

The Foundations of Program Verification, 2nd Edition 在线电子书 下载 mobi epub pdf txt 在线电子书下载
想要找书就要到 图书目录大全
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

The Foundations of Program Verification, 2nd Edition 在线电子书 读后感

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

类似图书 点击查看全场最低价

The Foundations of Program Verification, 2nd Edition 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024

分享链接

linkedin mastodon messenger pinterest reddit telegram viber vkontakte whatsapp 复制链接


The Foundations of Program Verification, 2nd Edition 在线电子书 相关图书



服务条款
联系我们
关于我们
隐私政策

本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等

友情链接

中国国家图书馆
国立台湾图书馆
美国国会图书馆
开放图书馆 openlibrary.org

© 2024 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有