Suggested Topics within your search.
Suggested Topics within your search.
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
Published 2011
Table of Contents: ';
“...1. Formal methods for the development and verification of autonomic IT systems / Radu Calinescu...”Chapter PDFs via platform:
Electronic
37
Published 2013
Table of Contents: ';
“... -- Formal Methods as an Improvement Tool -- Critical Software Technologies Experience with Formal Methods...”Get full text
Electronic
38
39
40