Dansk
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Yovine, Sergio436,85 DKK
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
Steffen, Bernhard436,85 DKK
Field Programming Environment: A Friendly Integrated Environment for Learning and Development
Reiss, Steven P.1240,73 DKK
Games and Full Abstraction for a Functional Metalanguage with Recursive Types
McCusker, Guy436,85 DKK
