Suggested Topics within your search.
Search alternatives:
interference verification » inference verification, interference specifications, interference identification
verification programming » specification programming, identification programming, verification program
programming programming » programming programmed, programming program
programming constructs » programming concepts, programming contest
constructs https » construction https, constructs loops, constructs arti
1
Cover Image
Published 2007
Table of Contents: “... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”
View full text
Electronic eBook
Save to List
Saved in:
2
Cover Image
Published 2015
Table of Contents: “... Safety-Critical Applications -- Other Verification Approaches -- Intransitive Non-Interference...”
View full text
Electronic eBook
Save to List
Saved in:
3
Cover Image
Published 2006
Table of Contents: “... Construction in Doubling Metric Spaces -- Verification Techniques for Distributed Algorithms -- Mobile Agent...”
View full text
Electronic eBook
Save to List
Saved in:
4
Cover Image
Published 2006
Table of Contents: “... -- Towards a Standards-Based Autonomic Context Management System -- Formal Modeling and Verification...”
View full text
Electronic eBook
Save to List
Saved in:
5
Cover Image
Published 2012
Table of Contents: “... by Adding a Backward Step -- Memory Resident Parallel Inverted Index Construction -- Dynamic Programming...”
View full text
Electronic eBook
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search