Logics of specification languages
Logics of specification languages
-
- Berlin Springer 2008
- xxi,623 p. 24 cm
- Monographs in theoretical computer science : an EATCS series .
978-3-540-74106-0
Computer Science and Engineering
Programming languages(Electronic computers)-Semantics , Login, Symbolic and mathematical
681.3.06:517.1Log
978-3-540-74106-0
Computer Science and Engineering
Programming languages(Electronic computers)-Semantics , Login, Symbolic and mathematical
681.3.06:517.1Log