Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
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.
Reseña del editor
Offers a practical introduction to the B specification language and method, an approach to the development of high-quality software using rigorous CASE techniques. Examples of all development life-cycle stages are given in the work, including animation, proof, design and code generation in C. Two case studies and excercises with solutions are provided.
"Sobre este título" puede pertenecer a otra edición de este libro.
Otras ediciones populares con el mismo título
Resultados de la búsqueda para Specification In B: An Introduction Using The B Toolkit
Imagen de archivo
SPECIFICATION IN B: AN INTRODUCTION USING THE B TOOLKIT
Publicado por
World Scientific Pub Co Inc, 1996
ISBN 10: 1860940080
ISBN 13: 9781860940088
Antiguo o usado
Tapa dura
Librería: suffolkbooks, Center moriches, NY, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
hardcover. Condición: Very Good. Fast Shipping - Safe and Secure 7 days a week! Nº de ref. del artículo: mon0000001070
Comprar usado
EUR 35,74
Envío por EUR 3,46
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen de archivo
Specification in B: An Introduction Using the B Toolkit
Publicado por
Imperial College Press, London, 1996
ISBN 10: 1860940080
ISBN 13: 9781860940088
Antiguo o usado
Tapa dura
Librería: PsychoBabel & Skoob Books, Didcot, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Very Good. Estado de la sobrecubierta: 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. Nº de ref. del artículo: 279926
Comprar usado
EUR 25,80
Envío por EUR 14,46
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
SPECIFICATION IN B: AN INTRODUCTION USING THE B TOOLKIT
Publicado por
World Scientific Pub Co Inc, 1996
ISBN 10: 1860940080
ISBN 13: 9781860940088
Nuevo
Tapa dura
Librería: Basi6 International, Irving, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Nº de ref. del artículo: ABEOCT25-389892
Comprar nuevo
EUR 59,06
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles