Click on a thumbnail to go to Google Books.
Loading... Software development with Z : a practical approach to formal methods in software engineeringby John Wordsworth
None Loading...
Sign up for LibraryThing to find out whether you'll like this book. No current Talk conversations about this book. No reviews no reviews | add a review
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. No library descriptions found. |
Current DiscussionsNone
Google Books — Loading... GenresMelvil Decimal System (DDC)005.12Information Computing and Information Computer programming, programs, data, security Programming Systems Analysis And DesignLC ClassificationRatingAverage:
Is this you?Become a LibraryThing Author. |