サイトメニューここからこのページの先頭です

ショートカットキーの説明を開始します。画面遷移や機能実行は、説明にあるショートカットキーを同時に押した後、Enterキーを押してください。ショートカットキーの説明を聞くには、Alt+0。トップ画面の表示には、Alt+1。ログインを行うには、Alt+2。簡易検索画面の表示には、Alt+3。詳細検索画面の表示には、Alt+4。障害者向け資料検索画面の表示には、Alt+5。検索結果の並び替えを行うには、Alt+6。国立国会図書館ホームページの表示には、Alt+7。検索結果の絞り込みを行うには、Alt+8。以上でショートカットキーの説明を終わります。

ナビゲーションここから

ナビゲーションここまで

本文ここから

資料種別 会議録

Certified programs and proofs : third international conference, CPP 2013 : Melbourne, VIC, Australia, December 11-13, 2013 : proceedings : Dec 2013, Melbourne, Australia

詳細情報

タイトル Certified programs and proofs : third international conference, CPP 2013 : Melbourne, VIC, Australia, December 11-13, 2013 : proceedings : Dec 2013, Melbourne, Australia
シリーズ名 Lecture Notes in Computer Science, 8307
出版地(国名コード) DE
出版地Heidelberg
出版社Springer
出版年 2013
大きさ、容量等 xii, 307 p. : ill. ; 24 cm
注記 ISBN : 9783319035451 (e-ISBN)
注記 An abstract and papers
注記 Includes bibliographical references and author index
ISBN 9783319035444
ISBN 9783319035451
ISSN 16113349 (eISSN)
ISSN 03029743
WorldCatへのリンク 872033573
別タイトル Certified programs and proofs : 3rd international conference, CPP 2013 : Melbourne, VIC, Australia, December 11-13, 2013 : proceedings
出版年月日等 c2013
件名(キーワード) Computer science--Mathematics--Congresses
件名(キーワード) Formal methods (Computer science)--Congresses
件名(キーワード) Computer software--Verification--Congresses
NDLC M17
対象利用者 一般
資料の種別 図書
資料の種別 会議録
言語(ISO639-2形式) eng : English

本文ここまで

Copyright © 2012 National Diet Library. All Rights Reserved.

フッター ここまで