***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.

Codice articolo 2510856

Contatta il venditore

Segnala questo articolo

Dati bibliografici

Titolo: The B Language and Method: A Guide to Practical Formal Development (Formal Approaches to Computing and Information Technology (FACIT))
Editore: Springer-Verlag
Data di pubblicazione: 1996
Lingua: Inglese
ISBN 10: 3540760334
ISBN 13: 9783540760337
Rilegatura: Paperback
Condizione: Used; Good

Descrizione articolo

Riassunto

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.

Informazioni sull?autore

Kevin Lano teaches a course on B at Imperial College.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

Visita la pagina della libreria

Informazioni sull?azienda del venditore

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

Condizioni di vendita e spedizione

Condizioni di vendita

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

Diritto di recesso

Condizioni di spedizione

Orders usually ship within 1 - 2 business days.

Tariffe di spedizione da Regno Unito a U.S.A.

Tariffe di spedizione da Regno Unito a U.S.A.
Quantit� dell?ordine	Da 7 a 10 giorni lavorativi	Da 7 a 10 giorni lavorativi
Primo articolo	EUR 18.31	EUR 18.31

I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.