Total Books: 1 - 2 /2
25 Years of Model Checking : History, Achievements, Perspectives
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
Lire la suite
Quality of Software Architectures. Models and Architectures : 4th International Conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings
This book is organized in topical sections on architectural design and architectural decisions, tracing architectural decisions, ...
Lire la suite
Total Books: 1 - 2 /2
