Logics of Specification Languages

Logics of Specification Languages - Hardback

Springer
SKU:
9783540741060
|
ISBN13:
9783540741060
$179.29
(No reviews yet)
Usually Ships in 24hrs
Current Stock:
Estimated Delivery by: | Fastest delivery by:
Adding to cart… The item has been added
Buy ebook
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.


  • | Author: Dines Bjørner
  • | Publisher: Springer
  • | Publication Date: Dec 07, 2007
  • | Number of Pages: 624 pages
  • | Binding: Hardback or Cased Book
  • | ISBN-10: 3540741062
  • | ISBN-13: 9783540741060
Additional Information
Author:
Dines Bjørner
Publisher:
Springer
Publication Date:
Dec 07, 2007
Number of pages:
624 pages
Binding:
Hardback or Cased Book
ISBN-10:
3540741062
ISBN-13:
9783540741060
Related Products