?
2
Introduction to distributed self-stabilizing algorithms
Synthesis lectures on distributed computing ; #15;Computer & information science, collection eleven;Synthesis digital library of engineering and computer science
?
3
On transactional concurrency control
Synthesis lectures on data management ; #59;Computer & information science, collection eleven;Synthesis digital library of engineering and computer science
?
5
Formal system verification
state-of the-art and future trends
Exemplar:
Zentrale:E02 a inf 170 m/057
?
7
Formalized probability theory and applications using theore..
Research essentials
Exemplar:
Zentrale:E02 a inf 440 ver/525
?
10
Operational semantics and verification of security protocol
Information security and cryptography
Exemplar:
Zentrale:E02 a inf 220 prt/661
?
11
Rigorous software development
an introduction to program verification
Undergraduate topics in computer science
Exemplar:
Zentrale:E02 a inf 440 ver/407
?
12
Digitale Hardware/Software-Systeme
Spezifikation und Verifikation
eXamen.press
Exemplare:
Zentrale:E02 a inf 170 e/771; :TB Technik n 500/95
?
14
Principles of model checking:
Exemplare:
Zentrale:E02 a inf 440 ver/782; Zentrale:E02 a inf 440 ver/782a
?
15
Secure programming with static analysis
Addison-Wesley software security series
Exemplar:
Zentrale: hs 4427
1-15
