Leveraging Applications of Formal Methods, Verification and Validation: 5th Inte
69,04 €
Challenges in Defining a Programming Language for Provably Correct Dynamic Analyses. - A Liskov Principle for Delta-Oriented Programming. - Scientific Workflows: Eternal Components, Changing Interfaces, Varying Compositions.
Jetzt bei Ebay:
