Cover of The correctness-by-construction approach to programming

The correctness-by-construction approach to programming

by Derrick Kourie

2012 264 pages eng

Logics and Meanings of Programs Mathematical Logic and Formal Languages Logic design System design Software engineering Computer science
Read on Archive.org Open Library Toronto Public Library Libby Amazon

Read online

Reader not loading? Open it on Archive.org instead.

More like this

Process Mining

Wil M. P. van der Aalst

2011

Fundamentals of Software Engineering

Farhad Arbab

2012

Introduction To The Theory Of Programming Languages

Jean-Jacques Levy

2010

Integrated Formal Methods

John Derrick

2012

Concurrency theory

Howard Bowman

2006

Adapting proofs-as-programs

Martin Wirsing, Iman Hafiz Poernomo

2005