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

Powered by Koha