Automated Technology for Verification and Analysis Cyrille Artho, Axel Legay & Doron Peled: другие книги

Formal Techniques for Safety-Critical Systems Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
2019
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 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