A General Proof Rule For Procedures In Predicate Transformer Semantics
Download A General Proof Rule For Procedures In Predicate Transformer Semantics PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get A General Proof Rule For Procedures In Predicate Transformer Semantics book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
A General Proof Rule for Procedures in Predicate Transformer Semantics
Author: California Institute of Technology. Computer Science Department
language: en
Publisher:
Release Date: 1983
TAPSOFT'97: Theory and Practice of Software Development
Author: Michel Bidoit
language: en
Publisher: Springer Science & Business Media
Release Date: 1997-04-02
This book constitutes the refereed proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development (TAPSOFT'97), held in Lille, France, in April 1997. The volume is organized in three parts: The first presents invited contributions, the second is devoted to trees in algebra in programming (CAAP) and the third to formal approaches in software engineering (FASE). The 30 revised full papers presented in the CAAP section were selected from 77 submissions; the 23 revised full papers presented in the FASE section were selected from 79 submissions.