The B Language and Method - A Guide to Practical Formal Development (Paperback, Softcover reprint of the original 1st ed. 1996)

B is one of the few formal methods which has robust, commercially-available tool support for the entire development lifecycle from specification through to code generation. This volume provides a comprehensive introduction to the B Abstract Machine Notation, and to how it can be used to support formal specification and development of high integrity systems. A strong emphasis is placed on the use of B in the context of existing software development methods, including object-oriented analysis and design. The text includes a large number of worked examples, graduated exercises in B AMN specification and development (all of which have been class-tested), two extended case studies of the development process, and an appendix of proof techniques suitable for B. Based on material which has been used to teach B at postgraduate and undergraduate level, this volume will provide invaluable reading a wide range of people, including students, project technical managers and workers, and researchers with an interest in methods integration and B semantics.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Formal Approaches to Computing and Information Technology (FACIT)
Release date:	2001
First published:	May 1996
Authors:	Kevin Lano
Dimensions:	235 x 155 x 13mm (L x W x T)
Format:	Paperback
Pages:	232
Edition:	Softcover reprint of the original 1st ed. 1996
ISBN-13:	978-3-540-76033-7
Categories:	Books > Computing & IT > Computer programming > Software engineering Books > Computing & IT > Computer programming > Programming languages > General Promotions
LSN:	3-540-76033-4
Barcode:	9783540760337

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!