Suggested Topics within your search.
Suggested Topics within your search.
61
62
Published 2002
Table of Contents: ';
“...Formal Methods in Software Development I -- Automated Derivation of ILP Implementations from SDL...”View fulltext via EzAccess
Electronic
63
64
65
66
67
68
69
by Lehner, G©ơnther.
Published 2010
Table of Contents: ';
“...Maxwell#x2019;s Equations -- Basics of Electrostatics -- Formal Methods of Electrostatics...”Published 2010
View fulltext via EzAccess
Electronic
70
71
72
73
74
75
76
77
Published 2009
Table of Contents: ';
“... of High Assurance Services -- Formal Methods for High Assurance Service-Oriented Computing -- A Trust...”Get full text
Electronic
78
Published 2013
Table of Contents: ';
“... network applications / Willem De Groef ... [et al.] -- On the use of formal methods to enforce privacy...”View fulltext via EzAccess
Electronic
79
80