本文に飛ぶ
図書

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)

国立国会図書館請求記号
M17-14-2140
国立国会図書館書誌ID
025388772
資料種別
図書
著者
TACAS 2014 (2014 : Grenoble, France)ほか
出版者
Springer
出版年
c2014.
資料形態
ページ数・大きさ等
xviii, 652 p. ; 24 cm.
NDC
-
すべて見る

資料に関する注記

一般注記:

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...

書店で探す

書誌情報

この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。

資料種別
図書
ISBN
9783642548611 (pbk.)
9783642548628 (e-ISBN)
ISSN
16113349 (e-ISSN)
ISSN(シリーズ)
03029743
出版年月日等
c2014.