Tools and Algorithms for the Construction and Analysis of Systems

丛 书 名：Lecture Notes in Computer Science

版本说明：1

作     者：Axel Legay Tiziana Margaria 

I S B N：(纸本) 9783662545799 

出 版 社：Springer Berlin  Heidelberg 

出 版 年：1000年

页      数：XXIV, 411页

主 题 词：Logics and Meanings of Programs Algorithm Analysis and Problem Complexity Software Engineering Computation by Abstract Devices Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages 

摘      要：The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.