Articoli correlati a The B-Method
Sinossi
This book provides a textbook introduction to the B-Method, a rigorous methodology for the development of correct software. The text covers all stages of the B software development process - from specification, through refinement and design, down to implementation and automatic code generation. The method uses a single uniform notation throughout development, designed to enable verification at each stage whilst placing particular emphasis on correctness.
· Suitable for undergraduate and postgraduate courses on formal methods and software development
· Written in a clear tutorial style of explanation
· Contains numerous illustrative examples, exercises and self-testing questions with solutions throughout
· Relevant to users of any B-Method CASE tool
· Teaching materials available online
The B-Method : An Introduction also offers readers powerful tool support by providing a free licence for the B-Toolkit - an integrated toolset which supports and extends the entire B development lifecycle.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Informazioni sull?autore
STEVE SCHNEIDER is Professor of Computing in the Department of Computing, University of Surrey, UK. He has taught the B-method at undergraduate and postgraduate level over a number of years, and has published papers on B at international formal methods conferences and workshops.
Dalla quarta di copertina
This book provides a textbook introduction to the B-Method, a rigorous methodology for the development of correct software. The text covers all stages of the B software development process - from specification, through refinement and design, down to implementation and automatic code generation. The method uses a single uniform notation throughout development, designed to enable verification at each stage whilst placing particular emphasis on correctness.
· Suitable for undergraduate and postgraduate courses on formal methods and software development
· Written in a clear tutorial style of explanation
· Contains numerous illustrative examples, exercises and self-testing questions with solutions throughout
· Relevant to users of any B-Method CASE tool
· Associated teaching materials online
The B-Method : An Introduction also offers readers powerful tool support by providing a free licence for the B-Toolkit - an integrated toolset which supports and extends the entire B development lifecycle.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra usato
Condizioni: molto buonoShips from the UK. Former library...
Visualizza questo articolo
EUR 5,40
EUR 5,72 per la spedizione da Regno Unito a Italia
Destinazione, tempi e costiRisultati della ricerca per The B-Method
Foto dell'editore
B-Method
Editore:
Palgrave Macmillan Limited, 2001
ISBN 10: 033379284X
ISBN 13: 9780333792841
Antico o usato
Brossura
Da: Better World Books Ltd, Dunfermline, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Very Good. Ships from the UK. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects. Codice articolo 16728768-20
Quantità: 1 disponibili
Immagini fornite dal venditore
The B-Method (Cornerstones of Computing)
Editore:
Palgrave Macmillan, 2001
ISBN 10: 033379284X
ISBN 13: 9780333792841
Antico o usato
Brossura
Da: WeBuyBooks, Rossendale, LANCS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Good. Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned. Codice articolo rev9857755885
Quantità: 1 disponibili
Foto dell'editore
The B-method (Cornerstones of computing)
Editore:
Palgrave Macmillan, 2001
ISBN 10: 033379284X
ISBN 13: 9780333792841
Antico o usato
Paperback
Da: Greener Books, London, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Used; Very Good. **SHIPPED FROM UK** We believe you will be completely satisfied with our quick and reliable service. All orders are dispatched as swiftly as possible! Buy with confidence! Greener Books. Codice articolo 4878556
Quantità: 1 disponibili
Foto dell'editore
The B-Method
Da: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.01. Codice articolo G033379284XI3N00
Quantità: 1 disponibili
Foto dell'editore
The B-Method (Cornerstones of Computing)
Editore:
Palgrave Macmillan, 2001
ISBN 10: 033379284X
ISBN 13: 9780333792841
Antico o usato
Brossura
Da: Anybook.com, Lincoln, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. With usual stamps and markings, In fair condition, suitable as a study copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,800grams, ISBN:9780333792841. Codice articolo 8816637
Quantità: 1 disponibili
Foto dell'editore
The B-Method (Cornerstones of Computing)
Editore:
Palgrave Macmillan, 2001
ISBN 10: 033379284X
ISBN 13: 9780333792841
Antico o usato
Brossura
Da: Anybook.com, Lincoln, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. With usual stamps and markings, In fair condition, suitable as a study copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,800grams, ISBN:033379284X. Codice articolo 8816636
Quantità: 1 disponibili
Foto dell'editore
The B-Method (Cornerstones of Computing)
Editore:
Palgrave Macmillan, United Kingdom, Basingstoke, 2001
ISBN 10: 033379284X
ISBN 13: 9780333792841
Antico o usato
Paperback
Da: WorldofBooks, Goring-By-Sea, WS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. This book provides a textbook introduction to the B-Method, a rigorous methodology for the development of correct software. The text covers all stages of the B software development process - from specification, through refinement and design, down to implementation and automatic code generation. The method uses a single uniform notation throughout development, designed to enable verification at each stage whilst placing particular emphasis on correctness. Suitable for undergraduate and postgraduate courses on formal methods and software development Written in a clear tutorial style of explanation Contains numerous illustrative examples, exercises and self-testing questions with solutions throughout Relevant to users of any B-Method CASE tool Teaching materials available online The B-Method : An Introduction also offers readers powerful tool support by providing a free licence for the B-Toolkit - an integrated toolset which supports and extends the entire B development lifecycle. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Codice articolo GOR002416707
Quantità: 3 disponibili
Foto dell'editore
The B-Method (Cornerstones of Computing)
Da: Open Books, Chicago, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
paperback. Condizione: Very Good. Open Books is a nonprofit social venture that provides literacy experiences for thousands of readers each year through inspiring programs and creative capitalization of books. Codice articolo mon0000733188
Quantità: 1 disponibili
Foto dell'editore
B METHOD AN INTRODUCTION
Da: OM Books, Sevilla, SE, Spagna
Valutazione del venditore 5 su 5 stelle
Condizione: Usado - bueno. Codice articolo 9780333792841
Quantità: 1 disponibili