توسعه نرمافزار با Z: رویکردی عملی به روشهای رسمی در مهندسی نرمافزار (سری علوم کامپیوتر بینالمللی)
Software Development With Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series)
معرفی کتاب «توسعه نرمافزار با Z: رویکردی عملی به روشهای رسمی در مهندسی نرمافزار (سری علوم کامپیوتر بینالمللی)» (با عنوان لاتین Software Development With Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series)) نوشتهٔ John B Wordsworth، منتشرشده توسط نشر Addison-Wesley Pub (Sd) در سال 1992. این کتاب در 7 صفحه، فرمت djvu، زبان انگلیسی ارائه شده است.
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.
دانلود کتاب توسعه نرمافزار با Z: رویکردی عملی به روشهای رسمی در مهندسی نرمافزار (سری علوم کامپیوتر بینالمللی)