| Logics of Specification Languages Contributor(s): Bjørner, Dines (Editor), Henson, Martin C. (Editor) |
|
 |
ISBN: 3642093450 ISBN-13: 9783642093456 Publisher: Springer OUR PRICE: $161.49 Product Type: Paperback - Other Formats Published: November 2010 |
| Additional Information |
| BISAC Categories: - Mathematics | Logic - Computers | Software Development & Engineering - General - Computers | Computer Science |
| Dewey: 005.13 |
| Series: Monographs in Theoretical Computer Science. an Eatcs |
| Physical Information: 1.31" H x 6.14" W x 9.21" (1.98 lbs) 624 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: 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. |