Download or read book Formal Methods written by P. N. Scharbach and published by . This book was released on 1989 with total page 184 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book is a self-contained exposition of formal methods for the specification, analysis and verification of system design. Representative applications of these methods are given to software specification and communications standardization.