Articles liés à The B-Method

Schneider, Steve The B-Method ISBN 13 : 9780333792841

The B-Method - Couverture souple

 
9780333792841: The B-Method

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos de l?auteur

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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Acheter D'occasion

état :  Satisfaisant
Most items will be dispatched the...
Afficher cet article

EUR 7,17 expédition depuis Royaume-Uni vers France

Destinations, frais et délais

Résultats de recherche pour The B-Method

Image fournie par le vendeur

Schneider, Dr Steve
Edité par Palgrave Macmillan, 2001
ISBN 10 : 033379284X ISBN 13 : 9780333792841
Ancien ou d'occasion Couverture souple

Vendeur : WeBuyBooks, Rossendale, LANCS, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : 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. N° de réf. du vendeur rev9857755885

Contacter le vendeur

Acheter D'occasion

EUR 1,74
Autre devise
Frais de port : EUR 7,17
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Schneider, Steve
Edité par Palgrave Macmillan Limited, 2001
ISBN 10 : 033379284X ISBN 13 : 9780333792841
Ancien ou d'occasion Couverture souple

Vendeur : Better World Books Ltd, Dunfermline, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : 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. N° de réf. du vendeur 16728768-20

Contacter le vendeur

Acheter D'occasion

EUR 5,38
Autre devise
Frais de port : EUR 4,04
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Steve Schneider
Edité par Palgrave Macmillan, 2001
ISBN 10 : 033379284X ISBN 13 : 9780333792841
Ancien ou d'occasion Paperback

Vendeur : Greener Books, London, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Paperback. Etat : 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. N° de réf. du vendeur 4878556

Contacter le vendeur

Acheter D'occasion

EUR 4,37
Autre devise
Frais de port : EUR 8,05
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Schneider, Steve
Edité par Red Globe Press, 2001
ISBN 10 : 033379284X ISBN 13 : 9780333792841
Ancien ou d'occasion Paperback

Vendeur : ThriftBooks-Dallas, Dallas, TX, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Paperback. Etat : Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.01. N° de réf. du vendeur G033379284XI3N00

Contacter le vendeur

Acheter D'occasion

EUR 7,41
Autre devise
Frais de port : EUR 6,45
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Steve Schneider
ISBN 10 : 033379284X ISBN 13 : 9780333792841
Ancien ou d'occasion Paperback

Vendeur : WorldofBooks, Goring-By-Sea, WS, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Paperback. Etat : 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. N° de réf. du vendeur GOR002416707

Contacter le vendeur

Acheter D'occasion

EUR 11,66
Autre devise
Frais de port : EUR 6,34
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 3 disponible(s)

Ajouter au panier

Image d'archives

Schneider, Dr Steve
Edité par Palgrave Macmillan, 2001
ISBN 10 : 033379284X ISBN 13 : 9780333792841
Ancien ou d'occasion Couverture souple

Vendeur : Anybook.com, Lincoln, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : 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. N° de réf. du vendeur 8816637

Contacter le vendeur

Acheter D'occasion

EUR 11,49
Autre devise
Frais de port : EUR 7,17
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Schneider, Dr Steve
Edité par Palgrave Macmillan, 2001
ISBN 10 : 033379284X ISBN 13 : 9780333792841
Ancien ou d'occasion Couverture souple

Vendeur : Anybook.com, Lincoln, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : 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. N° de réf. du vendeur 8816636

Contacter le vendeur

Acheter D'occasion

EUR 11,49
Autre devise
Frais de port : EUR 7,17
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Schneider, Steve
Edité par Red Globe Press, 2001
ISBN 10 : 033379284X ISBN 13 : 9780333792841
Ancien ou d'occasion paperback

Vendeur : Open Books, Chicago, IL, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

paperback. Etat : 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. N° de réf. du vendeur mon0000733188

Contacter le vendeur

Acheter D'occasion

EUR 3,89
Autre devise
Frais de port : EUR 63,70
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

SCHNEIDER, STEVE
Edité par PALGRAVE, 2001
ISBN 10 : 033379284X ISBN 13 : 9780333792841
Ancien ou d'occasion Couverture souple

Vendeur : OM Books, Sevilla, SE, Espagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : Usado - bueno. N° de réf. du vendeur 9780333792841

Contacter le vendeur

Acheter D'occasion

EUR 216
Autre devise
Frais de port : EUR 17,50
De Espagne vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier