Logics of Specification Languages
Download or Read eBook Logics of Specification Languages PDF written by Dines Bjørner and published by Springer Science & Business Media. This book was released on 2007-12-05 with total page 624 pages. Available in PDF, EPUB and Kindle.
| Author | : Dines Bjørner |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 624 |
| Release | : 2007-12-05 |
| ISBN-10 | : 9783540741077 |
| ISBN-13 | : 3540741070 |
| Rating | : 4/5 (77 Downloads) |
Book Synopsis Logics of Specification Languages by : Dines Bjørner
Book excerpt: This book presents comprehensive studies on nine specification languages and their logics of reasoning. The editors and authors are authorities on these specification languages and their application. In a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development. The book contains extensive references and pointers to future developments.
