Enlarge

The B language and method : a guide to practical formal development

K. Lano

Publication Data

Title The B language and method : a guide to practical formal development
Author K. Lano
Publisher Springer
Publication date 1996
Publication location London
Language English

Descriptive Notes

Includes index.

Topics

B (Computer program language)
Formal languages
012717517

Catalogue Data

OBNB ID GB96Z3351
ISBN 10 3540760334
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.1

ISBD

P1053 256p.

Buy a copy

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

The B language and method : a guide to practical formal development by K. Lano. ISBN 3540760334. Published by Springer in 1996. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.