Understanding the returns from cardiovascular and stroke research: The Policy Report / Project Retrosight :
By: Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- 978-0-8330-5954-3
No physical items for this record
-
1
Automated Technology for Verification and Analysis
-
2
Software Language Engineering
-
3
Hardware and Software: Verification and Testing
-
4
Programming Languages and Systems
-
5
Runtime Verification
-
6
Unifying Theories of Programming
-
7
Software Engineering for Self-Adaptive Systems II
-
8
Formal Aspects of Component Software
-
9
Formal Methods for Components and Objects
-
10
Generative and Transformational Techniques in Software Engineering IV
-
11
Software Engineering
-
12
Software Language Engineering
-
13
Construction and Evolution of Code Generators
by Jörges, Sven. -
14
Assurances for Self-Adaptive Systems
-
15
Tools and Algorithms for the Construction and Analysis of Systems
-
16
System Analysis and Modeling: Theory and Practice
-
17
Aliasing in Object-Oriented Programming. Types, Analysis and Verification
-
18
Transactions on Aspect-Oriented Software Development X
-
19
Programming Languages and Systems
-
20
Compiler Construction
There are no comments on this title.