Enlarge

Specification in B : an introduction using the B toolkit

K. Lano

Publication Data

Title Specification in B : an introduction using the B toolkit
Author K. Lano
Contributor Howard Haughton
Publisher Imperial College Press
Publication date 1996
Publication location London
Language English

Descriptive Notes

Includes index.

Topics

007469202

Catalogue Data

OBNB ID GB9666927
ISBN 10 1860940188
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.1015113

ISBD

P1053 xi,242p.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Specification in B : an introduction using the B toolkit by K. Lano. ISBN 1860940188. Published by Imperial College Press in 1996. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.