The B-Method: an Introduction
Tools
Schneider, S (2001) The B-Method: an Introduction Cornerstones of Computing . Palgrave. ISBN 033379284X
Full text not available from this repository.Abstract
This book provides a textbook introduction to the B-Method, a rigorous methodology for the development of correct software, underpinned by powerful ...
Item Type: | Book | ||||||
---|---|---|---|---|---|---|---|
Authors : |
|
||||||
Date : | 2001 | ||||||
Uncontrolled Keywords : | Computers | ||||||
Depositing User : | Symplectic Elements | ||||||
Date Deposited : | 17 May 2017 11:33 | ||||||
Last Modified : | 16 Jan 2019 18:17 | ||||||
URI: | http://epubs.surrey.ac.uk/id/eprint/831819 |
Actions (login required)
![]() |
View Item |
Downloads
Downloads per month over past year