***Simply Brit*** Welcome to our online used book store, where affordability meets great quality. Dive into a world of captivating reads without breaking the bank. We take pride in offering a wide selection of used books, from classics to hidden gems, ensuring there is something for every literary palate. All orders are shipped within 24 hours and our lightning fast-delivery within 48 hours coupled with our prompt customer service ensures a smooth journey from ordering to delivery. Discover the joy of reading with us, your trusted source for affordable books that do not compromise on quality.

N� de ref. del art�culo 2510856

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: The B Language and Method: A Guide to Practical Formal Development (Formal Approaches to Computing and Information Technology (FACIT))
Editor: Springer-Verlag
Fecha de publicaci�n: 1996
Idioma: Ingl�s
ISBN 10: 3540760334
ISBN 13: 9783540760337
Encuadernaci�n: Paperback
Estado: Used; Good

Acerca de

Sinopsis

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.

Acerca del autor

Kevin Lano teaches a course on B at Imperial College.

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Brit Books Ltd
35 Burners Lane, Kiln Farm, Milton Keynes, MK11 3HA, United Kingdom

Condiciones de venta y env�o

Condiciones de venta

Brit Books endeavours to provide each and every customer with an excellent
shopping experience, backed by our customer satisfaction guarantee.
* Brit Books Ltd

* P. O. Box 7567 Milton Keynes MK11 9GE

* customercare@britbooks.co.uk, tel. 01908 262375

* Brit Books Ltd P. O. Box 7567 Milton Keynes MK11 9GE

* Company Reg. 06809965, Vat. GB972432513

* Company Rep: Celeste Milon