Sinossi
This book gives a practical introduction to the B specification language and method, an approach to the development of high-quality software using rigorous CASE techniques.It is suitable for both undergraduate and postgraduate courses, in addition to being an introduction for industrial practitioners. Extensive examples of all development life-cycle stages are given, including animation, proof, design and code generation in C. Two large case studies and exercises with solutions are provided.The authors have extensive experience in teaching B and in its industrial application to high integrity systems. The book uses the B Toolkit to support the text, but it is also relevant to users of alternative toolsets for B.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Product Description
Book by Lano Kevin Haughton Howard
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Altre edizioni note dello stesso titolo
Risultati della ricerca per Specification in B: An Introduction Using the B Toolkit
Foto dell'editore
Specification in B: An Introduction Using the B Toolkit
Editore:
Imperial College Press, 1996
ISBN 10: 1860940080
ISBN 13: 9781860940088
Antico o usato
Rilegato
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Bon. Ancien livre de bibliothèque. Jaquette abîmée. Edition 1996. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Damaged dust jacket. Edition 1996. Ammareal gives back up to 15% of this item's net price to charity organizations. Codice articolo E-867-995
Compra usato
EUR 6,99
EUR 20,50 shipping
Spedito da Francia a U.S.A.
Spedito da Francia a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Specification in B: An Introduction Using the B Toolkit
Editore:
Imperial College Press, London, 1996
ISBN 10: 1860940080
ISBN 13: 9781860940088
Antico o usato
Rilegato
Da: PsychoBabel & Skoob Books, Didcot, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Very Good. Condizione sovraccoperta: Very Good. Hardcover. A few superficial scores and marks on jacket. Lightest of wear on leading corners and spine ends of jacket and hardcover. Pages are clean, binding is sound, and text remains clear throughout. TS. Used. Codice articolo 279926
Compra usato
EUR 25,49
EUR 10,85 shipping
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
SPECIFICATION IN B: AN INTRODUCTION USING THE B TOOLKIT
Editore:
World Scientific Pub Co Inc, 1996
ISBN 10: 1860940080
ISBN 13: 9781860940088
Antico o usato
Rilegato
Da: suffolkbooks, Center moriches, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
hardcover. Condizione: Very Good. Fast Shipping - Safe and Secure 7 days a week! Codice articolo mon0000001070
Compra usato
EUR 35,07
EUR 3,40 shipping
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 4 disponibili