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.
Or split into 4x interest-free payments of 25% on orders over R50
Learn more
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.
Imprint | Springer-Verlag |
Country of origin | Germany |
Series | Monographs in Theoretical Computer Science. An EATCS Series |
Release date | November 2010 |
Availability | Supplier out of stock. If you add this item to your wish list we will let you know when it becomes available. |
First published | 2008 |
Editors | Dines Bjorner, Martin C. Henson |
Dimensions | 235 x 155 x 33mm (L x W x T) |
Format | Paperback |
Pages | 624 |
Edition | Softcover reprint of hardcover 1st ed. 2008 |
ISBN-13 | 978-3-642-09345-6 |
Barcode | 9783642093456 |
Categories | |
LSN | 3-642-09345-0 |