Abstract
This book provides a textbook introduction to the B-Method, a rigorous methodology for the development of correct software, underpinned by powerful ...
- Title
- The B-Method: an Introduction
- Creators
- S Schneider
- Series
- Cornerstones of Computing
- Publisher
- Palgrave
- Number of pages
- 370
- Publication Date
- 2001
- Identifiers
- 033379284X; 99512663402346
- Copyright
- © Steve Schneider 2001, 2020
- Academic Unit
- University of Surrey; Department of Computer Science
- Resource Type
- Book