Software Engineering and Formal Methods Peter Csaba Ölveczky & Gwen Salaün의 도서 더 보기

Theoretical Aspects of Computing – ICTAC 2021 Theoretical Aspects of Computing – ICTAC 2021
Theoretical Aspects of Computing – ICTAC 2021
2021년
Formal Techniques for Safety-Critical Systems Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
2019년
Formal Aspects of Component Software Formal Aspects of Component Software
Formal Aspects of Component Software
2018년
Designing Reliable Distributed Systems Designing Reliable Distributed Systems
Designing Reliable Distributed Systems
2018년
Formal Techniques for Safety-Critical Systems Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
2017년
Formal Techniques for Safety-Critical Systems Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
2016년
Formal Aspects of Component Software Formal Aspects of Component Software
Formal Aspects of Component Software
2016년
Logic, Rewriting, and Concurrency Logic, Rewriting, and Concurrency
Logic, Rewriting, and Concurrency
2015년
Formal Techniques for Safety-Critical Systems Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
2015년
Formal Techniques for Safety-Critical Systems Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
2014년