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

Description
Item Description:	Includes indexes in each chapter.
Physical Description:	XXI, 623 pages : illustrations ; 25 cm.
Bibliography:	Includes bibliographical references.
ISBN:	3540741062 9783540741060