Peter Csaba Ölveczky الكتب

Theoretical Aspects of Computing – ICTAC 2021 Theoretical Aspects of Computing – ICTAC 2021
Theoretical Aspects of Computing – ICTAC 2021
٢٠٢١
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
٢٠١٩
Formal Techniques for Safety-Critical Systems Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
٢٠١٩
Formal Aspects of Component Software Formal Aspects of Component Software
Formal Aspects of Component Software
٢٠١٨
Designing Reliable Distributed Systems Designing Reliable Distributed Systems
Designing Reliable Distributed Systems
٢٠١٨
Formal Techniques for Safety-Critical Systems Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
٢٠١٧
Formal Techniques for Safety-Critical Systems Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
٢٠١٦
Formal Aspects of Component Software Formal Aspects of Component Software
Formal Aspects of Component Software
٢٠١٦
Logic, Rewriting, and Concurrency Logic, Rewriting, and Concurrency
Logic, Rewriting, and Concurrency
٢٠١٥
Formal Techniques for Safety-Critical Systems Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
٢٠١٥
Formal Techniques for Safety-Critical Systems Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
٢٠١٤