Program Proofs

Main
Program Proofs

Program Proofs

Leino

0 / 5.0

Sukakah anda buku ini?

Bagaimana kualiti fail ini?

Muat turun buku untuk menilai kualitinya

Bagaimana kualiti fail yang dimuat turun?

Tahun:

2024

Edisi:

1

Penerbit:

MIT Press

Bahasa:

english

Halaman:

496

Fail:

PDF, 23.76 MB

IPFS:

,

english, 2024

Baca dalam Talian

Memuat turun (pdf, 23.76 MB)

Penukaran menjadi sedang dijalankan

Penukaran menjadi gagal

Mungkin anda berminat

Gallier J. — Logic for Computer Science

Jean H. Gallier — Logic for computer science: foundations of automatic theorem proving

Edsger W. Dijkstra, Wim H. J. Feijen — A Method of Programming

Nissim Francez — Program Verification

Geoff Dromey, or:, R. G. Dromey — Program derivation: development of programs from specifications

Konstantine Arkoudas — Fundamental Proof Methods in Computer Science: A Computer-Based Approach

Joseph A. Goguen, Grant Malcolm — Algebraic Semantics of Imperative Programs

Joseph Goguen; Grant Malcolm — Algebraic semantics of imperative programs

K. Rustan, M. Leino — Program Proofs

David Gries — The science of programming

Gries, David — The Science of Programming

Jean H. Gallier — Logic for Computer Science: Foundations of Automatic Theorem Proving

Willem-Paul de Roever, Kai Engelhardt — Data Refinement: Model-Oriented Proof Methods and their Comparison

de Roever W.-P., Engelhardt K. — Data Refinement: Model-Oriented Proof Methods and their Comparison

Antonio Pizzarello — Development and Maintenance of Large Software Systems

Zohar Manna — Lectures on the logic of computer programming

Patrick Bosc, Marc Guyomard, Laurent Miclet — Algorithm Design: A Methodological Approach 150 Problems and Detailed Solutions

Patrick Bosc, Marc Guyomard, Laurent Miclet — Algorithm Design. A Methodological Approach 150 Problems and Detailed Solutions

Boro Sitnikovski — Introducing Software Verification with Dafny Language: Proving Program Correctness

Boro Sitnikovski — Introducing Software Verification with Dafny Language: Proving Program Correctness

Siddharth Krishna, Nisarg Patel, Dennis Shasha, Thomas Wies — Automated Verification of Concurrent Search Structures

João F. Ferreira & Alexandra Mendes & Claudio Menghi & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Gerhard Woeginger & Moti Yung — Formal Methods Teaching

Nikolai Kosmatov, Virgile Prevosto, Julien Signoles — Guide to Software Verification with Frama-C: Core Components, Usages, and Applications

Peter Müller (eds.) — Modular Specification and Verification of Object-Oriented Programs

Robert Giegerich, Peter Steffen (auth.), Eerke A. Boiten, Bernhard Möller (eds.) — Mathematics of Program Construction: 6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings

Roland Backhouse, Wei Chen, João F. Ferreira (auth.), Claude Bolduc, Jules Desharnais, Béchir Ktari (eds.) — Mathematics of Program Construction: 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings

Ahmed Bouajjani, Cezara Drăgoi (auth.), Viktor Kuncak, Andrey Rybalchenko (eds.) — Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings

Anindya Banerjee (auth.), Bernhard Beckert, Ferruccio Damiani, Dilian Gurov (eds.) — Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

Tim Heyer — Semantic Inspection of Software Artifacts from Theory to Practice (Linköping studies in science and technology)

Istilah utama