Congress and the nation VIII.
Material type: TextPublisher: Los Angeles : SAGE, 2013Description: 1 online resourceContent type:- text
- computer
- online resource
- 9781483302713 (ebook) :
- 328.73005 23
- KF49 .C65 2013
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
Certified Programs and Proofs
-
6
Runtime Verification
-
7
Unifying Theories of Programming
-
8
Logical Foundations of Computer Science
-
9
Software Engineering for Self-Adaptive Systems II
-
10
Formal Aspects of Component Software
-
11
Formal Methods for Components and Objects
-
12
Generative and Transformational Techniques in Software Engineering IV
-
13
Languages and Compilers for Parallel Computing
-
14
Software Engineering
-
15
Software Language Engineering
-
16
Construction and Evolution of Code Generators
by Jörges, Sven. -
17
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation
-
18
Assurances for Self-Adaptive Systems
-
19
Tools and Algorithms for the Construction and Analysis of Systems
-
20
System Analysis and Modeling: Theory and Practice
There are no comments on this title.