Software Development With Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series) - Softcover

Wordsworth, John

 
9780201627572: Software Development With Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series)
Softcover
ISBN 10: 0201627574 ISBN 13: 9780201627572
Verlag: Addison Wesley, 1992

Inhaltsangabe

This book is a highly practical tutorial guide to the Z specification language and its role in software development. The book illustrates how familiar procedures and decisions can be made precise using mathematics. Beginning with a case study, this book is designed to be as self-contained as possible, taking the reader through the basic concepts in logic and set theory formulating precise ideas about software systems, and combines a formal approach with practical examples of its use in software development.

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

Verlag
Addison Wesley
Erscheinungsdatum
1992
Sprache
Englisch
ISBN 10 
0201627574
ISBN 13 
9780201627572
Einband
Taschenbuch
Anzahl der Seiten
336
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar