A practical theory of programming

✍ Scribed by Eric C.R. Hehner

Publisher: Springer-Verlag
Year: 1993
Tongue: English
Leaves: 242
Series: Texts and monographs in computer science
Edition: 2004.01.01
Category: Library

⬇ Acquire This Volume

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Practical Theory of Programming

📁 A Practical Theory of Programming

✍ Eric C.R. Hehner 📂 Library 📅 2011 🏛 Springer 🌐 English

Understanding programming and programming languages requires knowledge of the underlying theoretical model. This book explores aspects of programming that are amenable to mathematical proof. The author describes a programming theory which is much simpler and more comprehensive than the current theor

A Practical Theory of Programming

📁 A Practical Theory of Programming

✍ Eric C.R. Hehner 📂 Library 📅 2006 🏛 Springer-Verlag 🌐 English

A practical theory of programming

📁 A practical theory of programming

✍ Hehner E.C. 📂 Library 📅 2005 🌐 English

A Practical Theory of Programming

📁 A Practical Theory of Programming

✍ Hehner, Eric C. R 📂 Library 📅 1993 🏛 Springer-Verlag 🌐 English

There are several theories of programming. The first usable theory, often called ''Hoare's Logic'', is still probably the most widely known. In it, a specification is a pair of predicates: a precondition and postcondition (these and all technical terms will be defined in due course). Another popular

A Theory and Practice of Program Develop

📁 A Theory and Practice of Program Development

✍ Derek Andrews BSc, MSc (auth.) 📂 Library 📅 1997 🏛 Springer-Verlag London 🌐 English

<p><B>A Theory and Practice of Program Development</B> provides a comprehensive introduction to a software development method based on VDM-SL. Each development step is rigorously justified, and the strategies and transformations used are justified and explained ma thematically. The approach provides

Theory and Practice of Uncertain Program

📁 Theory and Practice of Uncertain Programming

✍ Boading Liu 📂 Library 📅 2003 🏛 Physica-Verlag Heidelberg 🌐 English

Real-life decisions are usually made in the state of uncertainty (randomness, fuzziness, roughness, etc.). How do we model optimization problems in uncertain environments? How do we solve these models? In order to answer these questions, this book provides a self-contained, comprehensive and up-to-d