Formal Reasoning About Systems, Software and Hardware - Using Functionals, Predicates and Relations.

Raymond T. Boute

Published in: IFIP Congress Tutorials (2004)

Keyphrases

databases
management system
distributed systems
formal methods
information retrieval
query language
learning systems
user defined
data sets
relational databases
knowledge based systems
building blocks