この商品の詳細
- 出版社
- 近代科学社
- 出版社シリーズ
- トップエスイー基礎講座
- ISBN
- 9784764903555
- サイズ
- 単行本
- 発売年月日
- 2008年09月01日
この商品の紹介
形式仕様記述とモデル検査を用いたシステム開発に関する入門書。形式仕様記述の基礎である集合論、論理学や、モデル検査の基礎である時相論理、オートマン、並行プログラムの基礎的な知識を重点的に解説する。
ソフトウェア科学基礎 最先端のソフトウェア開発に求められる数理的基礎/単行本
今お申し込みで
110円買取中！
買取金額50%UP
＋お買物クーポン500円分
プレゼント！
ソフトウェア科学基礎 最先端のソフトウェア開発に求められる数理的基礎/単行本
2,200
円(税込)
この商品と同年代のコンピューター・インターネットのおすすめ もっと見る
-
システムはなぜダウンするのか 知っておきたいシステム障害、信頼性の基礎知識 165円
-
世界でいちばん簡単なExcel VBAのe本 Excel VBAの基本と考え方がわかる本 110円
-
MySQLで学ぶデータベース超入門 DB Magazine連載「データベースはじめの一歩」より 110円
-
GLUTによるOpenGL入門＜2＞ 220円
-
フリーフォントデザイン1016すぐに使えるアートワーク 110円
-
PMO構築事例・実践法－プロジェクト・マネジメント・オフィス－ 470円
-
C言語ではじめる音のプログラミング サウンドエフェクトの信号処理 275円
-
マルウエア 情報化社会の破壊者 165円
-
Linux‐DBシステム構築／運用入門 DB Magazine連載「Linux‐DBシステム構築入門」より 165円
-
エンジニアのためのPowerPoint再入門講座 伝えたいことが確実に届く“硬派な資料”の作り方 110円
週間売れ筋ランキング（コンピューター・インターネット） もっと見る
-
頭のいい人が話す前に考えていること 890円
-
本当の自由を手に入れるお金の大学 165円
-
キレイはこれでつくれます 220円
-
4位ゼロから作るＤｅｅｐ Ｌｅａｒｎｉｎｇ Ｐｙｔｈｏｎで学ぶディープラーニングの理論と実装 710円
-
5位整理整頓 学校では教えてくれない大切なこと１ 330円
-
6位一番伝わる説明の順番 400円
-
7位生成ＡＩで世界はこう変わる 470円
-
8位ナナメの夕暮れ 275円
-
9位ナナメの夕暮れ 400円
-
10位本当の自由を手に入れる お金の大学 改訂版 1,480円
-
11位２ケ月で月３０万円を実現する 超初心者でも稼げるＡＩ活用法 1,370円
-
12位【ＤＶＤ付】田中宥久子の造顔マッサージ 165円
-
13位「育ちがいい人」だけが知っていること 330円
-
14位夢と金 710円
-
15位ポートレイト・イン・ジャズ 275円
-
16位不機嫌な長男・長女無責任な末っ子たち 330円
-
17位社会人大学人見知り学部卒業見込 275円
-
18位ネットワークはなぜつながるのか－知っておきたいＴＣＰ／ＩＰ、ＬＡＮ、光ファイバの基礎知識－ 1,690円
-
19位ＡＩのサバイバル＜２＞ 275円
-
20位外資系コンサルのスライド作成術 890円
この商品を見た人におすすめ もっと見る
-
木村雅一の数学の記述答案が面白いほど書ける本 990円
-
大学入試 突破力を鍛える最難関の数学 890円
-
SURF IS WHERE YOU FIND IT サーフィンの神様、ジェリー・ロペスが綴るライフスタイルストーリー 2,470円
-
ポップンミュージックキャラクターイラストブック AC6，7，8，9／CS6，7 3,798円
-
損しない！まるわかり！相続大全 元国税相続専門40年ベテラン税理士が教える 710円
-
暗殺教室 殺たん センター試験から私大・国立まで！ 問題集の時間 330円
-
生命の理念＜1＞ 1,150円
-
愛の台南 1,260円
-
新海誠展 「ほしのこえ」から「君の名は。」まで 800円
-
プロ野球チームをつくろう！3公式コンプリートガイド 2,470円
-
ヴィオラートのアトリエ～グラムナートの錬金術士2～公式ガイドブック－Life Style Navig 165円
-
アンナミラーズで制服を 110円
-
必殺シリーズ完全闇知識 瞬間の愛編 275円
-
イース（5）－さまよえる砂の都－＜上＞ 165円
-
【組み立てキット付】ヨッシーストーリーパーフェクトプログラム 165円
-
ハワイ語－日本語辞典 1,690円
-
密教ヨーガ－タントラヨーガの本質と秘法－ 990円
-
生命組織塩でバランスをとる 生命組織塩（シュスラー塩）のスタンダードテキスト 990円
-
日本のことばで宇宙をひもとく 1,150円
-
memory of アニメ『ギヴン』オフィシャルファンブック 710円
