Logics of Specification Languages (2008) (Monographs in Theoretical Computer Science. An EATCS Series)
By: and
Sign Up Now!
Already a Member? Log In
You must be logged into UK education collection to access this title.
Learn about membership options,
or view our freely available titles.
- Synopsis
- 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.
- Copyright:
- 2008
Book Details
- Book Quality:
- Publisher Quality
- ISBN-13:
- 9783540741077
- Related ISBNs:
- 9783540741060
- Publisher:
- Springer Berlin Heidelberg
- Date of Addition:
- 07/09/22
- Copyrighted By:
- N/A
- Adult content:
- No
- Language:
- English
- Has Image Descriptions:
- No
- Categories:
- Nonfiction, Computers and Internet, Mathematics and Statistics, Philosophy
- Submitted By:
- Bookshare Staff
- Usage Restrictions:
- This is a copyrighted book.
- Edited by:
- Dines Bjørner
- Edited by:
- Martin C. Henson
Reviews
Other Books
- by Dines Bjørner
- by Martin C. Henson
- in Nonfiction
- in Computers and Internet
- in Mathematics and Statistics
- in Philosophy