Opening book details…
Can I read Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT)) on EtoBox?
Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT)) by Jonathan P. Bowen, Michael G. Hinchey (auth.), Michael G. Hinchey BSc, MSc, PhD, Jonathan P. Bowen BA, MA (eds.) is a computer science book available to read on EtoBox.
What is Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT)) about?
"Aimed mainly at practitioners in software engineering and formal methods, this book will also be of interest to academic researchers working in formal methods, and students on advanced software engineering courses who need real-life specifications and examples on which to base their work."--Jacket.
Who reads Industrial-Strength Formal Methods in Practice (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
- Jonathan P. Bowen, Michael G. Hinchey (auth.), Michael G. Hinchey BSc, MSc, PhD, Jonathan P. Bowen BA, MA (eds.)
- Publisher
- Springer-Verlag London
- Published
- 1999
- Language
- EN
- ISBN
- 9781852336400
- Category
- computer science
- Subjects
- Engineering, Language Learning, Science
- Updated
- 2026-03-25
Other editions & translations
More by Jonathan P. Bowen, Michael G. Hinchey (auth.), Michael G. Hinchey BSc, MSc, PhD, Jonathan P. Bowen BA, MA (eds.)
Similar books
- A Theory and Practice of Program Development (Formal Approaches to Computing and Information Technology (FACIT)) — Derek J. Andrews (1997)
- Formal Object-oriented Development (formal Approaches To Computing And Information Technology (facit)) — Kevin Lano (2012)
- 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)
- Formal Methods in Human-Computer Interaction (Formal Approaches to Computing and Information Technology (FACIT)) — Philippe Palanque and Fabio Paternò, eds (2012)
- Constructing Correct Software (Formal Approaches to Computing and Information Technology (FACIT)) — D. John Cooke (2005)
- Refinement in Z and Object-Z: Foundations and Advanced Applications (Formal Approaches to Computing and Information Technology (FACIT)) — John Derrick; Eerke A. Boiten (2012)