Artículos relacionados a Specification In B: An Introduction Using The B Toolkit
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.
EUR 22,11
EUR 64,39 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envío
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: 1860940188
ISBN 13: 9781860940187
Antiguo o usado
paperback
Librería: suffolkbooks, Center moriches, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
paperback. Condición: Very Good. Fast Shipping - Safe and Secure 7 days a week! Nº de ref. del artículo: mon0000000934
Cantidad disponible: 3 disponibles