Logics of specification languages /

Bibliographic Details
Other Authors:	Bjørner, D. (Dines), 1937-, Henson, Martin C.
Format:	Book
Language:	English
Published:	Berlin : Springer, [2008]
Series:	Monographs in theoretical computer science.
Subjects:	Programming languages (Electronic computers) > Semantics. Logic, Symbolic and mathematical.
Online Access:	Publisher description Table of contents only

Remote Storage