Cover Image

Logics of specification languages /

Show other versions (1)
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
Search Result 1
Cover Image
Published 2008
Connect to the full text of this electronic book
Publisher description
eBook
Show all versions (2)