Mobile Computing
Modern analytic and computational methods in science and mathematics ; 16 [i.e. 17] Theory of problem solving : an approach to artificial intelligence
Multiagentensysteme
Multiple Criteria Optimization
Model Checking
description
This presentation of the theory and practice of model checking includes basic as well as state-of-the-art techniques, algorithms and tools, and can be used as an introduction to the subject or a reference for researchers.
read more
pages
346
Year published
1999
Publisher
MIT Press
Issn
0-262-03270-8
Language
en
categories