The Specification of Complex Systems
Download or Read eBook The Specification of Complex Systems PDF written by Bernard Cohen and published by Addison Wesley Publishing Company. This book was released on 1986 with total page 172 pages. Available in PDF, EPUB and Kindle.
| Author | : Bernard Cohen |
| Publisher | : Addison Wesley Publishing Company |
| Total Pages | : 172 |
| Release | : 1986 |
| ISBN-10 | : UOM:39015011128769 |
| ISBN-13 | : |
| Rating | : 4/5 (69 Downloads) |
Book Synopsis The Specification of Complex Systems by : Bernard Cohen
Book excerpt: Presents a comparison of formal specification methods, including algebraic specification, state-model specification using the Vienna development method (VDM), and the specification of concurrent systems (using Milner's CCS)
