Opening book details…
Can I read Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series) on EtoBox?
Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series) by Dines Bjørner, Martin C. Henson (eds.) is a mathematics available to read on EtoBox.
What is Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series) about?
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.
Who reads Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Dines Bjørner, Martin C. Henson (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2007
- Language
- EN
- ISBN
- 9783642093456
- Category
- mathematics
- Subjects
- Computer Science, Language Learning, Programming
- Updated
- 2026-03-25
