Denotional semantics for Abadi and Leino's logic of objects :: Bernhard Reus :: Department of Informatics, University of Sussex 2004 :: OBNB, the Open British National Bibliography

Publication Data

Title Denotional semantics for Abadi and Leino's logic of objects
Author Bernhard Reus
Contributors Jan Schwinghammer, Jan Schwinghammer, Jan Schwinghammer
Publisher Department of Informatics, University of Sussex
Publication date 2004
Publication location Brighton
Language English

Topics

Hoare logic
Information theory in mathematics
Programming (Mathematics)

Catalogue Data

OBNB ID GBA748756
ISBN 10 n/a
ISBN 13 n/a
Type BibliographicResource, Book

ISBD

P1053 45 p.
P1042 Includes bibliographical references.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Denotional semantics for Abadi and Leino's logic of objects by Bernhard Reus. Published by Department of Informatics, University of Sussex in 2004. Publication and catalogue information, links to buy online and reader comments.