41
Published 2013
Table of Contents: '; ...: Coordination Algorithms and Formal Methods -- Part IV: Modularity, Distributed Manipulation, and Platforms....
Get full text
Electronic
42
43
by ORegan, Gerard.
Published 2013
Table of Contents: '; ... -- Formal Methods -- Z Formal Specification Language -- Number Theory -- Cryptography -- Coding Theory...
Get full text
Electronic
44
Published 2013
Table of Contents: '; ... for software components and services -- Composition and deployment: models, calculi, languages; formal methods...
Get full text
Electronic
45
Published 2004
Table of Contents: '; ... and Simulation -- Languages for Formal Methods -- Linking Architectural and Component Level System Views...
View fulltext via EzAccess
Electronic
46
47
48
49
Published 2010
Get full text
Electronic
50
51
52
53
54
55
56
Published 2013
Table of Contents: '; ...Sustainability indicators: development and application -- Formal methods for organization...
Get full text
Electronic
57
58
59
60