Menu
Compositional predicate abstraction from game semantics
Cover image not available

Compositional predicate abstraction from game semantics

Adam Bakewell

Publication Data

Topics

Catalogue Data

ISBD

Buy a copy

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

Compositional predicate abstraction from game semantics by Adam Bakewell. Published by University of Birmingham, School of Computer Science in 2008. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.