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

Perspectives of System Informatics Perspectives of System Informatics
Perspectives of System Informatics
2015년
Theory and Practice of Formal Methods Theory and Practice of Formal Methods
Theory and Practice of Formal Methods
2016년
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2015년
Rewriting Logic and Its Applications Rewriting Logic and Its Applications
Rewriting Logic and Its Applications
2016년
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
2016년
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2018년
Theoretical Aspects of Computing – ICTAC 2016 Theoretical Aspects of Computing – ICTAC 2016
Theoretical Aspects of Computing – ICTAC 2016
2016년
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
2017년
Concurrency, Compositionality, and Correctness Concurrency, Compositionality, and Correctness
Concurrency, Compositionality, and Correctness
2010년
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
2018년
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2019년
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
2016년
Semantics, Logics, and Calculi Semantics, Logics, and Calculi
Semantics, Logics, and Calculi
2016년
Trustworthy Global Computing Trustworthy Global Computing
Trustworthy Global Computing
2014년
Perspectives of System Informatics Perspectives of System Informatics
Perspectives of System Informatics
2016년