Opening book details…
Can I read A Theory and Practice of Program Development (Formal Approaches to Computing and Information Technology (FACIT)) on EtoBox?
A Theory and Practice of Program Development (Formal Approaches to Computing and Information Technology (FACIT)) by Andrews, Derek J., Derek Andrews is a computer science book available to read on EtoBox.
What is A Theory and Practice of Program Development (Formal Approaches to Computing and Information Technology (FACIT)) about?
A Theory and Practice of Program Development is specifically designed for use by 3rd/4th year undergraduate and postgraduate students taking courses in formal methods as part of a computer science or a software engineering degree. It is also relevant to software developers involved in the production of provably correct computer systems who need an understanding of the theory of and practice of formal methods. A package of teaching material in LaTeX source is available from the author.
Who reads A Theory and Practice of Program Development (Formal Approaches to Computing and Information Technology (FACIT))?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Andrews, Derek J., Derek Andrews
- Publisher
- Springer-Verlag London Limited
- Published
- 1997
- Language
- EN
- ISBN
- 9783540761624
- Category
- computer science
- Subjects
- Engineering, Mathematics, Programming
- Updated
- 2026-03-25
More by Andrews, Derek J., Derek Andrews
Browse all works by Andrews, Derek J., Derek Andrews
Similar books
- Formal Object-oriented Development (formal Approaches To Computing And Information Technology (facit)) — Kevin Lano BSc, MSc, PhD (auth.) (1995)
- Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT)) — Jonathan P. Bowen, Michael G. Hinchey (auth.), Michael G. Hinchey BSc, MSc, PhD, Jonathan P. Bowen BA, MA (1999)
- Formal Methods and Object Technology (Formal Approaches to Computing and Information Technology (FACIT)) — S. J. Goldsack BSc, PhD, FBCS, FIEE, CEng, S. J. H. Kent BSc, PhD (auth.), S. J. (1996)
- Systems, Models and Measures (Formal Approaches to Computing and Information Technology (FACIT)) — Agnes Kaposi, Margaret Myers (auth.) (1994)
- Notations for Software Design (Formal Approaches to Computing and Information Technology (FACIT)) — Loe M. G. Feijs, Hans B. M. Jonkers, Cornelis A. Middelburg (auth.) (1994)
- Proof In Vdm: Case Studies (formal Approaches To Computing And Information Technology (facit)) — John Fitzgerald, Cliff Jones (auth.), J. C. Bicarregui BSc, MSc, PhD (1998)