Tools and algorithms for the construction and analysis of systems : 20th international conference, TACAS 2014 : held as part of the European joint conferences on theory and practice of software, ETAPS 2014 : Grenoble, France, April 5-13, 2014 : proceedings : 17th ETAPS : Apr 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8413. Advanced Research in Computing and Software Science)
Tools and algorithms for the construction and analysis of systems : 20th international conference, TACAS 2014 : held as part of the European joint conferences on theory and practice of software, ETAPS 2014 : Grenoble, France, April 5-13, 2014 : proceedings : 17th ETAPS : Apr 2014, Grenoble, France.
(Lecture Notes in Computer Science ; 8413. Advanced Research in Computing and Software Science)
Papers."ETAPS is an annual federated conference (...) and this year consisted of six constituting conferences (CC, ESOP, FASE, FoSSaCS, TACAS, and POS...
形態の詳細:
ill.
資料詳細
要約等:
This book constitutes the proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS...
"ETAPS is an annual federated conference (...) and this year consisted of six constituting conferences (CC, ESOP, FASE, FoSSaCS, TACAS, and POST) (...)" -- foreword.
Described as "TACAS 2014 took place during April 7-11, 2014, in Grenoble, France." -- pref.
書誌注記
Includes bibliographical references and author index.