Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming programming » programming programmed, programming program
recursive programming » recursive programs
programming contract » programming contracts, programming constructs, programming constraint
interface recursive » interface secure
contract https » control https, conflict https, contract nets
programming programming » programming programmed, programming program
recursive programming » recursive programs
programming contract » programming contracts, programming constructs, programming constraint
interface recursive » interface secure
contract https » control https, conflict https, contract nets
1
Published 2005
Table of Contents:
“... Pseudometric for Metric Labelled Transition Systems -- On Probabilistic Program Equivalence and Refinement...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... Abstract Graph Views as Module Interfaces -- Programmed Graph Rewriting with DEVS -- Relational Growth...”View full text
Electronic
eBook
3
Table of Contents:
“... Interface -- Integrated Alarm Environment -- Analogue Control Loop -- Database Operations and Structure...”
View full text
View full text
Electronic
eBook