Logics of specification languages /

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Bjørner, D. (Dines), 1937-, Henson, Martin C.
Format:	eBook
Language:	English
Published:	Berlin : Springer, [2008]
Series:	Monographs in theoretical computer science.
Subjects:	Logic, Symbolic and mathematical. Programming languages (Electronic computers) > Semantics. Electronic books.
Online Access:	Connect to the full text of this electronic book Publisher description

Available Online