?
2
On transactional concurrency control
Synthesis lectures on data management ; #59;Computer & information science, collection eleven;Synthesis digital library of engineering and computer science
?
3
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
?
4
Formal system verification
state-of the-art and future trends
Copies:
Zentrale:E02 a inf 170 m/057
?
7
Formalized probability theory and applications using theore..
Research essentials
Copies:
Zentrale:E02 a inf 440 ver/525
?
10
Operational semantics and verification of security protocol
Information security and cryptography
Copies:
Zentrale:E02 a inf 220 prt/661
?
11
Rigorous software development
an introduction to program verification
Undergraduate topics in computer science
Copies:
Zentrale:E02 a inf 440 ver/407
?
12
Digitale Hardware/Software-Systeme
Spezifikation und Verifikation
eXamen.press
Copies:
Zentrale:E02 a inf 170 e/771; :TB Technik n 500/95
?
14
Real-time systems: formal specification and automatic verif..:
Copies:
Zentrale:E02 a inf 350 for/817; Zentrale:E02 a inf 350 for/817a
?
15
Secure programming with static analysis
Addison-Wesley software security series
Copies:
Zentrale: hs 4427