Review of Abrial, J.-R. The B-Book
Review of Abrial, J.-R. The B-Book
59-61
Butler, M. J.
54b9c2c7-2574-438e-9a36-6842a3d53ed0
1997
Butler, M. J.
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Butler, M. J.
(1997)
Review of Abrial, J.-R. The B-Book.
The Computer Journal, 40 (1), .
More information
Published date: 1997
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 250549
URI: http://eprints.soton.ac.uk/id/eprint/250549
PURE UUID: 55aca123-b893-4dff-916f-e0cedbe70478
Catalogue record
Date deposited: 01 Oct 1999
Last modified: 15 Mar 2024 02:50
Export record
Contributors
Author:
M. J. Butler
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics