Software Development With Z: A Practical Approach to Formal...

Main
Computers - Computer Science
Software Development With Z: A...

Software Development With Z: A Practical Approach to Formal Methods in Software Engineering

Name: Software Development With Z: A Practical Approach to Formal Methods in Software Engineering
ISBN: 9780201627572

John Wordsworth

0 / 0

0 comments

Πόσο σας άρεσε αυτό το βιβλίο;

Ποια είναι η ποιότητα του ληφθέντος αρχείου;

Κατεβάστε το βιβλίο για να αξιολογήσετε την ποιότητά του

Ποια είναι η ποιότητα των ληφθέντων αρχείων;

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.

Κατηγορίες:

Computers - Computer Science

Έτος:

1992

Εκδότης:

Addison-Wesley Pub (Sd)

Γλώσσα:

english

Σελίδες:

375

ISBN 10:

0201627574