Der deutsche Staat im Jahre 1945 und seither. Die Berufsbeamten und die Staatskrisen.
Contributor(s): Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- 9783110903249
- JN3971 .A3 1954b
No physical items for this record
-
1
Software Language Engineering
-
2
Hardware and Software: Verification and Testing
-
3
Programming Languages and Systems
-
4
Runtime Verification
-
5
Unifying Theories of Programming
-
6
Formal Aspects of Component Software
-
7
Generative and Transformational Techniques in Software Engineering IV
-
8
Software Language Engineering
-
9
Foundations of Software Science and Computation Structures
-
10
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky
-
11
Integrated Formal Methods
-
12
Static Analysis
-
13
Tests and Proofs
-
14
ECOOP 2013 – Object-Oriented Programming
-
15
Structured Object-Oriented Formal Language and Method
-
16
Hardware and Software: Verification and Testing
-
17
Software Engineering and Formal Methods
-
18
Computational Logic in Multi-Agent Systems
-
19
Runtime Verification
-
20
Reachability Problems
There are no comments on this title.