[BOOK][B] Introduction to Lattices and Order
BA Davey - 2002 - books.google.com
This new edition of Introduction to Lattices and Order presents a radical reorganization and
updating, though its primary aim is unchanged. The explosive development of theoretical …
updating, though its primary aim is unchanged. The explosive development of theoretical …
[BOOK][B] Modal logic: graph. Darst
P Blackburn, M De Rijke, Y Venema - 2001 - books.google.com
This is an advanced 2001 textbook on modal logic, a field which caught the attention of
computer scientists in the late 1970s. Researchers in areas ranging from economics to …
computer scientists in the late 1970s. Researchers in areas ranging from economics to …
Requirements engineering: a roadmap
Requirements Engineering: A Roadmap Page 1 Requirements Engineering: A Roadmap
Bashar Nuseibeh & Steve Easterbrook Key Research Pointers Better modelling and analysis of …
Bashar Nuseibeh & Steve Easterbrook Key Research Pointers Better modelling and analysis of …
Temporal logics for real-time system specification
The specification of reactive and real-time systems must be supported by formal,
mathematically-founded methods in order to be satisfactory and reliable. Temporal logics …
mathematically-founded methods in order to be satisfactory and reliable. Temporal logics …
[BOOK][B] Data refinement: model-oriented proof methods and their comparison
WP De Roever, K Engelhardt - 1998 - books.google.com
The goal of this book is to provide a comprehensive and systematic introduction to the
important and highly applicable method of data refinement and the simulation methods used …
important and highly applicable method of data refinement and the simulation methods used …
[BOOK][B] Computation and reasoning
Z Luo - 1994 - researchgate.net
This monograph studies a type theory and its applications to computer science. When its
publication was considered three years ago, it was meant to be a sinple and straightforward …
publication was considered three years ago, it was meant to be a sinple and straightforward …
Handling algebraic effects
Algebraic effects are computational effects that can be represented by an equational theory
whose operations produce the effects at hand. The free model of this theory induces the …
whose operations produce the effects at hand. The free model of this theory induces the …
[BOOK][B] Specification of abstract data types
J Loeckx, HD Ehrich, M Wolf - 1997 - dl.acm.org
Specification of abstract data types | Guide books skip to main content ACM Digital Library
home ACM home Google, Inc. (search) Advanced Search Browse About Sign in Register …
home ACM home Google, Inc. (search) Advanced Search Browse About Sign in Register …
[BOOK][B] Fuzzy equational logic
R Bělohlávek, V Vychodil, R Bělohlávek, V Vychodil - 2005 - Springer
Equational logic deals with identities (equations) like x+ y≈ y+ x, x.(y+ z)≈ xy+ xz, dec (inc
(x))≈ x, etc. Identities are simple formulas which can be interpreted in algebras. Thus, given …
(x))≈ x, etc. Identities are simple formulas which can be interpreted in algebras. Thus, given …
[BOOK][B] First steps in modal logic
S Popkorn - 1994 - books.google.com
This is a graduate-level text for a first course in propositional modal logic. It is written from
the semantical point of view rather than the more usual proof theoretic approach, and the …
the semantical point of view rather than the more usual proof theoretic approach, and the …