Issues and Performance in the Pennsylvania Workers� Compensation System :
By: Material type: TextPublication details: RAND Corporation,; 2008ISBN:- 9780833044082
- 978-0-8330-4600-0
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.