Software Engineering Mathematics

0 valoración promedio
( 0 valoraciones por Goodreads )
 
9780273026730: Software Engineering Mathematics

This book makes the mathematical basis of formal methods accessible both to the student and to the professional. It is motivated in the later chapters by examples and exercises. Throughout, the premise is that mathematics is as essential to design and construction in software engineering as it is to other engineering disciplines. The exercises range from simple drills, intended to provide familiarity with concepts and notation, to advanced material. The first four chapters of the book are devoted to foundations, with an introduction to formal systems, then the propositional and predicate calculi, concluding with a chapter on theories in general. The second part of the book builds upon the foundations by covering in detail the theory of sets, relations, functions, and sequences. The mathematical data types then presented are powerful enough to describe many aspects of software systems, and small case studies are included as examples of their use in the modelling of software: a configuration manager, a storage allocator, and a simple backing store interface. The concrete syntax of the Z notation has been adopted. The third part of the book presents two detailed case studies in the use of mathematics in software engineering. The first is the specification of the behaviour of a telephone exchange, and the second illustrates the importance of the development of a mathematical theory in gaining an understanding of a system. Both case studies stress the roles of modelling and of proof in the construction of specifications. The final part describes the algebraic approach to specification and then summarizes and compares the various formal techniques.

"Sinopsis" puede pertenecer a otra edición de este libro.

Comprar usado Ver libro

Gastos de envío: EUR 3,33
De Reino Unido a Estados Unidos de America

Destinos, gastos y plazos de envío

Añadir al carrito

Los mejores resultados en AbeBooks

1.

Loomes, Martin J., Woodcock, Jim
Editorial: CRC Press (1988)
ISBN 10: 0273026739 ISBN 13: 9780273026730
Usado Cantidad: 1
Librería
Better World Books Ltd
(Dunfermline, Reino Unido)
Valoración
[?]

Descripción CRC Press, 1988. Estado de conservación: Good. Ships from the UK. Former Library book. Shows some signs of wear, and may have some markings on the inside. Nº de ref. de la librería GRP16685605

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar usado
EUR 0,89
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,33
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

2.

J. Woodcock and M.J. Loomes
Editorial: Software Engineering Mathematics (1988)
ISBN 10: 0273026739 ISBN 13: 9780273026730
Usado Tapa blanda Cantidad: 1
Librería
Anybook Ltd.
(Lincoln, Reino Unido)
Valoración
[?]

Descripción Software Engineering Mathematics, 1988. Estado de conservación: Fair. This book has soft covers. Ex-library, With usual stamps and markings, In fair condition, suitable as a study copy. Nº de ref. de la librería 3102899

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar usado
EUR 0,86
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 6,83
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

3.

Martin J. Loomes
Editorial: CRC Press (1988)
ISBN 10: 0273026739 ISBN 13: 9780273026730
Usado Paperback Cantidad: 1
Librería
Books Express
(Portsmouth, NH, Estados Unidos de America)
Valoración
[?]

Descripción CRC Press, 1988. Paperback. Estado de conservación: Good. Ships with Tracking Number! INTERNATIONAL WORLDWIDE Shipping available. May not contain Access Codes or Supplements. Buy with confidence, excellent customer service!. Nº de ref. de la librería 0273026739

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar usado
EUR 81,42
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío