Logics of Specification Languages (Hardcover, 2008 ed.)
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
45930
@R430pm x 12* 
Ships in 12 - 17 working days
Add to wish listDonate to Against Period Poverty
Product 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.
Customer Reviews
No reviews or ratings yet - be the first to create one!
Product Details
General
Imprint | Springer-Verlag |
Country of origin | Germany |
Series | Monographs in Theoretical Computer Science. An EATCS Series |
Release date | December 2007 |
Availability | Expected to ship within 12 - 17 working days |
First published | 2008 |
Editors | Dines Bjorner, Martin C. Henson |
Dimensions | 235 x 155 x 34mm (L x W x T) |
Format | Hardcover |
Pages | 624 |
Edition | 2008 ed. |
ISBN-13 | 978-3-540-74106-0 |
Barcode | 9783540741060 |
Categories | |
LSN | 3-540-74106-2 |
Be the first to know about our
latest deals & promos! Subscribe Now
