Cover of Integrated Formal Methods

Integrated Formal Methods

by John Derrick

2012 eng

Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Programming Techniques Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Logic design Software engineering Computer software 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

The correctness-by-construction approach to programming

Derrick Kourie

2012

Introduction To The Theory Of Programming Languages

Jean-Jacques Levy

2010

Concurrency theory

Howard Bowman

2006

Adapting proofs-as-programs

Martin Wirsing, Iman Hafiz Poernomo

2005