Rewriting Logic and Its Applications 비슷한 책 더 보기

Formal Methods – The Next 30 Years Formal Methods – The Next 30 Years
Formal Methods – The Next 30 Years
2019년
Rewriting Logic and Its Applications Rewriting Logic and Its Applications
Rewriting Logic and Its Applications
2018년
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
2021년
The Logic of Software. A Tasting Menu of Formal Methods The Logic of Software. A Tasting Menu of Formal Methods
The Logic of Software. A Tasting Menu of Formal Methods
2022년
Models, Mindsets, Meta: The What, the How, and the Why Not? Models, Mindsets, Meta: The What, the How, and the Why Not?
Models, Mindsets, Meta: The What, the How, and the Why Not?
2019년
Formal Methods Formal Methods
Formal Methods
2021년
Fundamentals of Software Engineering Fundamentals of Software Engineering
Fundamentals of Software Engineering
2021년
Theoretical Aspects of Computing – ICTAC 2021 Theoretical Aspects of Computing – ICTAC 2021
Theoretical Aspects of Computing – ICTAC 2021
2021년
Concurrency, Compositionality, and Correctness Concurrency, Compositionality, and Correctness
Concurrency, Compositionality, and Correctness
2010년
Rewriting Logic and Its Applications Rewriting Logic and Its Applications
Rewriting Logic and Its Applications
2014년
Theoretical Aspects of Software Engineering Theoretical Aspects of Software Engineering
Theoretical Aspects of Software Engineering
2022년
NASA Formal Methods NASA Formal Methods
NASA Formal Methods
2022년
Integrated Formal Methods Integrated Formal Methods
Integrated Formal Methods
2022년
NASA Formal Methods NASA Formal Methods
NASA Formal Methods
2011년
Perspectives of Systems Informatics Perspectives of Systems Informatics
Perspectives of Systems Informatics
2010년