Formal Methods
Author | : P. N. Scharbach |
Publisher | : |
Total Pages | : 184 |
Release | : 1989 |
ISBN-10 | : UOM:39015015322251 |
ISBN-13 | : |
Rating | : 4/5 ( Downloads) |
Book Synopsis Formal Methods by : P. N. Scharbach
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.