Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

作者:Beyer, Dir
ISBN:9783319899633, 9783319899626
语言:English
出版社:Springer Nature
格式:Pdf
资源下载
此资源为免费资源,请先后下载

Keywords

computer architecture; computer software selection and evaluation; formal logic; formal methods; model checker; model checking; multi core processors; program compilers; programming languages; semantics; software engineering; specifications; state space; verification

Abstract

computer architecture; computer software selection and evaluation; formal logic; formal methods; model checker; model checking; multi core processors; program compilers; programming languages; semantics; software engineering; specifications; state space; verification

资源下载此资源仅限注册用户下载,请先
资源下载
下载价格:免费
作者:Beyer, Dir
ISBN:9783319899633, 9783319899626
语言:English
出版社:Springer Nature
格式:Pdf
0

评论0

没有账号? 注册  忘记密码?