Introduction to Formal Specification and Z (Prentice-Hall International Series in Computer Science) - Softcover

Potter, Ben; Sinclair, Jane; Till, David

 
9780134787022: Introduction to Formal Specification and Z (Prentice-Hall International Series in Computer Science)
Softcover
ISBN 10: 0134787021 ISBN 13: 9780134787022
Verlag: Prentice-Hall, 1991

Inhaltsangabe

Primarily intended as an introduction to the ideas of formal specification, to form part of an undergraduate course in computer science and providing a new approach to the process of software development, based on the work of the Z community at the Programming Research Group at Oxford, the main emphasis of this book is on formal specification. Features include discussions of formal methods of program development from specifications, and management issues involved in the adoption of more formal approaches to software development. It introduces concepts from discrete mathematics which are relevant to formal specification and presents the basic ideas involved in rigorous methods of software development from formal specifications.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Prentice-Hall
Erscheinungsdatum
1991
Sprache
Englisch
ISBN 10 
0134787021
ISBN 13 
9780134787022
Einband
Taschenbuch
Anzahl der Seiten
324
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Yeepin GmbH
492000000000
sunshine12232@outlook.com

Alleestr.11
Kaiserslautern
Rheinland-Pfalz
67655
Deutschland

Weitere beliebte Ausgaben desselben Titels

9780132422079: Introduction Formal Specification And Z (2nd Edition) (Prentice-Hall International Series in Computer Science)

Vorgestellte Ausgabe

ISBN 10:  0132422077 ISBN 13:  9780132422079
Verlag: Prentice Hall, 1996
Softcover