古本・中古本
メール便対象
形式手法教科書 「論理学」を用いた、「ソフト工学」への数学的アプローチ/単行本
プレミアム会員とは
この商品の詳細
この商品の紹介
一般的なプログラマーにもわかりやすいように、理論的基礎である古典論理と様相論理を解説し、形式手法に用いられているさまざまな非古典論理と仕様記述言語を紹介。また同時に、形式手法の応用についても説明する。
形式手法教科書 「論理学」を用いた、「ソフト工学」への数学的アプローチ/単行本
470
円(税込)
良く一緒に買われている商品 もっと見る
-
木村雅一の数学の記述答案が面白いほど書ける本 990円
-
ポップンミュージックキャラクターイラストブック AC6，7，8，9／CS6，7 3,798円
-
大学入試 突破力を鍛える最難関の数学 890円
-
SURF IS WHERE YOU FIND IT サーフィンの神様、ジェリー・ロペスが綴るライフスタイルストーリー 2,470円
-
損しない！まるわかり！相続大全 元国税相続専門40年ベテラン税理士が教える 1,890円
-
プロ野球チームをつくろう！3公式コンプリートガイド 2,470円
-
モビルスーツ全集 2 550円
-
小説ダンジョン・マスター 165円
-
S―若林しほ写真集 775円
-
ハワイ語－日本語辞典 1,690円
週間売れ筋ランキング（コンピューター・インターネット） もっと見る
-
キレイはこれでつくれます 275円
-
頭のいい人が話す前に考えていること 890円
-
伝える力 「話す」「書く」「聞く」能力が仕事を変える！ 110円
-
4位本当の自由を手に入れるお金の大学 139円
-
5位一切なりゆき 樹木希林のことば 139円
-
6位メイクがなんとなく変なので友達の美容部員にコツを全部聞いてみた 165円
-
7位鴻池剛と猫のぽんたニャアアアン！＜３＞ 165円
-
8位ユーモアは最強の武器である スタンフォード大学ビジネススクール人気講義 990円
-
9位ドラえもん 学年別ドラえもん名作選＜２年生＞ 447円
-
10位ノンデザイナーズ・デザインブック 【第４版】 1,590円
-
11位１３歳からのアート思考 「自分だけの答え」が見つかる 890円
-
12位社会人大学人見知り学部卒業見込 275円
-
13位ドラえもん 学年別ドラえもん名作選＜１年生＞ 400円
-
14位生成ＡＩで世界はこう変わる 470円
-
15位マンガでよくわかる子どもが変わる怒らない子育て 220円
-
16位頭がよくなる！寝るまえ１分おんどく３６６日 990円
-
17位大家さんと僕 これから 165円
-
18位ドラえもん 学年別ドラえもん名作選＜３年生＞ 470円
-
19位「育ちがいい人」だけが知っていること 今からでも「育ち」は良くなる！ 330円
-
20位鴻池剛と猫のぽんたニャアアアン！＜２＞ 165円
この商品を見た人におすすめ もっと見る
-
木村雅一の数学の記述答案が面白いほど書ける本 990円
-
ポップンミュージックキャラクターイラストブック AC6，7，8，9／CS6，7 3,798円
-
大学入試 突破力を鍛える最難関の数学 890円
-
SURF IS WHERE YOU FIND IT サーフィンの神様、ジェリー・ロペスが綴るライフスタイルストーリー 2,470円
-
損しない！まるわかり！相続大全 元国税相続専門40年ベテラン税理士が教える 1,890円
-
プロ野球チームをつくろう！3公式コンプリートガイド 2,470円
-
モビルスーツ全集 2 550円
-
小説ダンジョン・マスター 165円
-
ハワイ語－日本語辞典 1,690円
-
必殺シリーズ完全闇知識 瞬間の愛編 275円
-
金色の盃＜下＞ 330円
-
ガンダムマテリアルズ 165円
-
機動戦士ガンダム0083「作戦計画書」 550円
-
モビルスーツ全集 3 550円
-
機動戦士ガンダムトレーディングカードゲームGUNDAM WAR THE COMPLETE CARD 220円
-
イース（5）－さまよえる砂の都－＜上＞ 220円
-
密教ヨーガ－タントラヨーガの本質と秘法－ 990円
-
ポケットモンスター金銀ぼうけんマップ－任天堂公式ガイドブック－ 165円
-
ポケモンカード必勝大作戦 220円
-
魔女の宅急便（4）－キキの恋－ 【新装版】 275円
