1
by Bjørner, Dines., Bjørner, Dines.
Published 2006
Table of Contents: ...Opening -- Specification Facets -- Hierarchies and Compositions -- Denotations and Computations...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...
View full text
Electronic eBook