検索結果 44 件
デジタル博士論文障害者向け資料あり
国立国会図書館
- 並列タイトル等(連結)Semantic Refinements for Program Verification(プログラム検証のための意味論精細化)
- 並列タイトル等Semantic Refinements for Program Verification(プログラム検証のための意味論精細化)
デジタル電子書籍・電子雑誌障害者向け資料あり
インターネットで読める国立国会図書館
紙図書
国立国会図書館
紙図書
国立国会図書館
紙図書
国立国会図書館
紙博士論文
国立国会図書館
紙図書
国立国会図書館
紙図書
国立国会図書館
- 並列タイトル等(連結)...anguages meets program verification Oct. 5, 2007 Freiburg, German...
- 並列タイトル等...anguages meets program verification Oct. 5, 2007 Freiburg, German...
マイクロ規格・テクニカルリポート類
国立国会図書館
紙デジタル博士論文
インターネットで読める国立国会図書館
紙図書
国立国会図書館
紙図書
全国の図書館
- 著者標目...anguages meets Program Verification ACM Special Interest Group in...
紙図書
全国の図書館
- 著者標目...anguages meets Program Verification ACM Special Interest Group in...
紙図書
全国の図書館
- 著者標目...anguages meets Program Verification ACM SIGPLAN International Con...