The Record So Far / EU Civilian Crisis Management :
By: Material type: TextPublication details: RAND Corporation,; 2010ISBN:- 9780833049193
- 978-0-8330-5024-3
No physical items for this record
-
1
Software Language Engineering
-
2
Hardware and Software: Verification and Testing
-
3
Programming Languages and Systems
-
4
Certified Programs and Proofs
-
5
Runtime Verification
-
6
Unifying Theories of Programming
-
7
Logical Foundations of Computer Science
-
8
Formal Aspects of Component Software
-
9
Generative and Transformational Techniques in Software Engineering IV
-
10
Software Language Engineering
-
11
Foundations of Software Science and Computation Structures
-
12
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky
-
13
Integrated Formal Methods
-
14
Static Analysis
-
15
Tests and Proofs
-
16
ECOOP 2013 – Object-Oriented Programming
-
17
Structured Object-Oriented Formal Language and Method
-
18
Hardware and Software: Verification and Testing
-
19
The Beauty of Functional Code
-
20
Trends in Functional Programming
There are no comments on this title.