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...
View fulltext via EzAccess
Electronic
70
by Li, Wei.
Published 2010
Get full text
Electronic
71
Published 2009
Get full text
Electronic
72
73
74
75
Published 2009
Get full text
Electronic
76
Published 2010
Get full text
Electronic
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
by Wille, Robert., Drechsler, Rolf.
Published 2010
Get full text
Electronic
80
by Tabuada, Paulo.
Published 2009
Get full text
Electronic