Systems Construction and Analysis: A Mathematical and Logical Framework - Couverture souple

Fenton, Norman E.; Hill, Gillian Ann Foard

Couverture souple

ISBN 10 : 0077074319 ISBN 13 : 9780077074319

Editeur : McGraw-Hill Publishing Co., 1992

Synopsis

This text provides the discrete mathematics needed as a rigorous foundation for the construction and analysis of application systems. Construction involves development within formal linguistic systems and analysis involves external assessment and measurement. The foundation provided by this book allows for many applications to be discussed in detail. A gentle introduction to discrete mathematics and formal systems allows a gradual pace of learning for the student and examines ideas before giving a serious exposition of mathematical logic that emphasizes the link between theories in formal languages and their models. The major programming paradigms are linked to approaches to specification and verified by the axiomatic method. This book is aimed at second and third year undergraduates, as well as MSc computing students.

Détails de l'édition

• Éditeur: McGraw-Hill Publishing Co.
• Date d'édition: 1992
• Langue: anglais
• ISBN 10: 0077074319
• ISBN 13: 9780077074319
• Reliure: Broché
• Nombre de pages: 448
• Coordonnées du fabricant: non disponible
• Personne responsable: non disponible