The B-Method: an Introduction

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
Divisions :	Surrey research (other units)
Authors :	Name Email ORCID Schneider, S s.schneider@surrey.ac.uk
Date :	2001
Uncontrolled Keywords :	Computers
Depositing User :	Symplectic Elements
Date Deposited :	17 May 2017 11:33
Last Modified :	23 Jan 2020 10:55
URI:	http://epubs.surrey.ac.uk/id/eprint/831819

Actions (login required)

View Item

Downloads