Knowledge Resources | Dar Al-hikmah Library | Public Access
Subject(s): B method (Computer science) Subject: This book provides an introduction to the B-Method, a formal approach to the specification and development of computer software systems. The text covers all stages of the B software development process - from specification, through refinement and design, down to implementation and automatic code