「CHECKING」を解説文に含む見出し語の検索結果(11～20/787件中)
小切手。銀行で当座預金（Checking Account）の口座を開いたときに発行されます。現金と同じように使え、また盗難にあってもすぐ無効にできるので、買い物をするとき持っていると便利です。「キャッ...
IsolatedStorageFileStream オブジェクトの長さを取得します。名前空間: System.IO.IsolatedStorageアセンブリ: mscorlib (mscorlib.d...
IsolatedStorageFileStream オブジェクトの長さを取得します。名前空間: System.IO.IsolatedStorageアセンブリ: mscorlib (mscorlib.d...
分離ストレージで IsolatedStorageFileStream オブジェクトから 1 バイトを読み取ります。名前空間: System.IO.IsolatedStorageアセンブリ: mscor...
分離ストレージで IsolatedStorageFileStream オブジェクトから 1 バイトを読み取ります。名前空間: System.IO.IsolatedStorageアセンブリ: mscor...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/01/13 15:15 UTC 版)「モデル検査」の記事における「モデル検査ツール」の解説EmbeddedValidator...
ナビゲーションに移動検索に移動モデル検査（Model Checking）とは、形式システムをアルゴリズム的に検証する手法である。ハードウェアやソフトウェアの設計から導出されたモデルが形式仕様を満足する...
ナビゲーションに移動検索に移動モデル検査（Model Checking）とは、形式システムをアルゴリズム的に検証する手法である。ハードウェアやソフトウェアの設計から導出されたモデルが形式仕様を満足する...
別表記：ファクス「facts」の意味・「facts」とは「facts」は英語の名詞で、単数形は「fact」である。「facts」は「事実」という意味を持つ。具体的な事象や現象、確認できる情報などを指す...
別表記：ファクス「facts」の意味・「facts」とは「facts」は英語の名詞で、単数形は「fact」である。「facts」は「事実」という意味を持つ。具体的な事象や現象、確認できる情報などを指す...