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.

Bestandsnummer des Verk�ufers GOR002416707

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: The B-Method (Cornerstones of Computing)
Verlag: Palgrave Macmillan, United Kingdom, Basingstoke
Erscheinungsjahr: 2001
Sprache: Englisch
ISBN-10: 033379284X
ISBN-13: 9780333792841
Einband: Paperback
Zustand: Very Good

�ber diesen Titel

Inhaltsangabe

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.

�ber die Autorin bzw. den Autor

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.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

In 2002, World of Books Group was founded on an ethos to do good, protect the planet and support charities by enabling more goods to be reused. Since then, we've grown into to a global company pioneering the circular economy. Today, we drive the circular economy through three re-commerce brands: - Wob: Through Wob, we sell. We provide affordable, preloved books and media to customers all over the world. A book leaves our collection of over seven million titles and begins a new chapter every two seconds, enabling more goods to be reused. - Ziffit: Through Ziffit, we buy. We give people around the world the opportunity to contribute to the circular economy, earn money and protect the planet, by trading their unwanted books and media. - Shopiago: Through Shopiago, we help others. By sharing the technology that has grown World of Books Group into the business it is today, we?re helping charities increase revenue and reduce waste through re-commerce.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

World of Books Ltd
Mulberry House, Woods Way Trading Estate, Goring-By-Sea, BN12 4QY, United Kingdom

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

WorldofBooks.com fully embraces the AbeBooks terms and conditions and we will do
what we can to resolve any issues.

Versandbedingungen

Orders ship within 2 business days. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.