Formal Specification and Design

Explore the intricate world of software development with Formal Specification and Design by L. M. G. Feijs, published by Cambridge University Press in 2005. This insightful book delves into specification techniques through the unified perspective of the Common Object-oriented Language for Design, offering a comprehensive understanding of the mathematical theory of computation and object-oriented programming. With 352 pages of in-depth content, this paperback edition is an essential resource for those looking to enhance their knowledge in computer software development and programming languages. Perfect for students, professionals, and anyone interested in the foundations of software design, this book invites you to deepen your understanding of specification techniques in the realm of computer science.