Opening book details…
Can I read Formal Object-oriented Development (formal Approaches To Computing And Information Technology (facit)) on EtoBox?
Formal Object-oriented Development (formal Approaches To Computing And Information Technology (facit)) by Kevin Lano BSc, MSc, PhD (auth.) is a computer science book available to read on EtoBox.
What is Formal Object-oriented Development (formal Approaches To Computing And Information Technology (facit)) about?
<b>Formal Object-Oriented Development</b> provides a comprehensive overview of the use of formal object-oriented methods; it covers how and where they should be introduced into the development process, how they can be introduced selectively for critical parts of an application, and how to incorporate them effectively into existing deveopmental practices.<br>The text is extensively illustrated, both with tutorial and self-assessment excercises and with examples of industrial applications from the
Who reads Formal Object-oriented 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
- Kevin Lano BSc, MSc, PhD (auth.)
- Publisher
- SPRINGER-VERLAG LONDON LIMITED
- Published
- 1995
- Language
- EN
- ISBN
- 9783540199786
- Category
- computer science
- Subjects
- Engineering, Mathematics, Technology
- Updated
- 2026-03-25
Other editions & translations
More by Kevin Lano BSc, MSc, PhD (auth.)
Browse all works by Kevin Lano BSc, MSc, PhD (auth.)
Similar books
- A Theory and Practice of Program Development (Formal Approaches to Computing and Information Technology (FACIT)) — Andrews, Derek J., (1997)
- The B Language and Method: A Guide to Practical Formal Development (Formal Approaches to Computing and Information Technology (FACIT)) — Kevin Lano (2012)
- Systems, Models and Measures (Formal Approaches to Computing and Information Technology (FACIT)) — Agnes Kaposi, Margaret Myers (auth.) (1994)
- Formal Methods and Object Technology (Formal Approaches to Computing and Information Technology (FACIT)) — Stephen J Goldsack; Stuart John Harding Kent (2012)
- Refinement in Z and Object-Z: Foundations and Advanced Applications (Formal Approaches to Computing and Information Technology (FACIT)) — John Derrick BSc, DPhil, Eerke Boiten Ir, PhD (auth.) (2001)
- 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)
