Picture 1 of 1
Stock photo
Picture 1 of 1
Stock photo
Software Development with Z: A Practical Approach to Formal Methods in Software Engineering by J. Wordsworth (Paperback, 1992)
T
The_Book_Fountain (184048)
98.7% positive feedback
Price:
AU $37.37
(inclusive of GST)
ApproximatelyS$ 31.18
+ $8.82 shipping
Returns:
30 days return. Buyer pays for return shipping. If you use an eBay shipping label, it will be deducted from your refund amount.
Condition:
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
About this product
Product Information
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.Product Identifiers
PublisherPearson Education (Us)
ISBN-139780201627572
eBay Product ID (ePID)94408158
Product Key Features
Number of Pages336 Pages
Publication NameSoftware Development with Z: a Practical Approach to Formal Methods in Software Engineering
LanguageEnglish
SubjectComputer Science
Publication Year1992
TypeTextbook
AuthorJ. Wordsworth
FormatPaperback
Dimensions
Item Height234 mm
Item Weight525 g
Item Width156 mm
Additional Product Features
Country/Region of ManufactureUnited States
Title_AuthorJ. Wordsworth
Be the first to write a review
