オープンソースの広がりにより、多様な機能を実現することは以前と比較すると驚くばかりに容易になっている。しかし、このような開発法ではスケーラビリティと高信頼性を同時に保証することはできない。機能の実現や追加が比較的安易にできる時代になったからこそ、成長し続けるシステム全体の正常な動作を保証しうる開発検査手法の必要性が増している。
　本書では、優れた開発者として最先端の理論やツールと使ってソフトウェア開発をするために必要な基礎知識である、論理学、並行システム、オートマトン、モデル検査のアルゴリズムや実装技術、モデル検証ツールをまとめて解説する。

※本書には第2版がございます。

未経験でもJava言語の基礎からOOPに必要な技術が身に付く入門書！

プログラミングの経験がなくても、Java言語でプログラムを作るための基本的な技術を、実用的な統合環境Eclipseを使って具体的に解説する入門書！本格的なOOP（オブジェクト指向プログラミング）を習得するために必要な知識やプログラミング技術が身に付きます。
教育機関の方には各例題のソースファイルなど講義用資料を用意しました。近代科学社のサポートページをご覧ください。

1988年初版発行以来27刷を重ねた本を時代に合わせてアップデート！述語理論を詳説！
　本書は、人工知能という分野で行われている議論や研究を理解するために必要な基礎知識の提供を目的として、単に「こういうことがある」という知識ではなく、「なぜこのように考えるのか？」という疑問に答えられる真の理解と実力を身につけられるように構成し、解説する。新たに演習問題とその解答も掲載。

SPINの基礎から実際の利用方法までを具体的に解説する日本で初めての書籍

◆SPINとは？
社会の様々なところにソフトウェアが組み込まれ、その規模が飛躍的に大きくなってきている中、従来その信頼性を確保するための手法であったテスト手法は、時間やコストなどの面で開発の現状に追いつけない状況が出てきている。
そのテスト手法に代わるものとして注目されてきているのが形式的手法による検証（モデル検査法）であり、その中の一つがSPINである。限られたテストケースでの誤りの無さを保障する従来のテスト手法に対して、数学的・論理的基盤に基づいて正しさを証明するモデル検査法は、無限に近い組合せに対しても正しさを保障できる手法であり、その中でもSPINは実際に産業界での適用事例も豊富で、その技術習得がソフトウェア技術者の必須要素として注目されてきている。

情報、物、お金、人などあらゆる流れを捉え、これからの社会と経済を理解する！キーワードは複雑ネットワーク！！今、注目のネットワーク科学について、単に事例紹介にとどまらず、実際に「ビジネス・シーンで使う」ためのツールを集めて、解説した道具箱である。情報通信ネットワークに限らず「人と人」「企業と企業」といった身近な「つながり」を科学的に紐解き関係を明らかにするとともに、自然現象や経済活動といった複雑な関係性の持つ事象にも、科学的なアプローチで分析を試みる。

仕様の段階で誤りをなくす注目の手法「Bメソッド」を実践活用するための解説書。安心安全を含めてますます高度な機能や性能が要求されるソフトウェアシステムの開発において、厳密な仕様記述を基に開発を行う形式手法に対する関心と期待が高まっている。本書は、我が国初のBメソッドの書き下ろし入門書である。実際の開発への適用を意識した実用指向の内容が、平明でわかりやすく記述されている。

本書は、実際にアーキテクチャを設計するための具体的なスキルとして設計原則や開発プロセスと対応付けながら、アーキテクトの最も基本的な素養としてのソフトウェアパターンを丁寧に解説している。ソフトウェアアーキテクト育成ための理論と実践という観点でバランスのとれた書籍であり、独習書として実務家にも最適である。

本書によって学習すれば「コンピュータサイエンス」における「OS 学」という専門分野の位置付けが明らかになる．

本書では「情報を高度に処理するコンピュータにおけるオペレーティングシステム（OS）の基本的な役割」について解き明かしている。本書がカバーする範囲はコンピュータのユーザとハードウェアとの間に置く基本ソフトウェアであるOSの「原理」であり、またソフトウェアとハードウェアとの接点（インタフェース）としての「OSの基本機能」である。「OSはコンピュータサイエンス学の基盤的専門分野」の位置付けで「OSのホワットツー（what to）」すなわち「OS学」について体系的に整理し明らかにする。本書の読者は「情報基盤技術としてのOS技術についてのホワットツーを身につけている高度専門技術者」になれる。

本書は、専門学校・短大・大学の文系・理系学生を問わず、一般読者を対象として、情報社会の今を判り易く解説。情報技術と社会への関連を考え、情報技術の変遷、コンピュータ・情報の基礎的技術から、システム利用、情報化に伴い社会において必要と思われるビジネス・生活・法律・知財・倫理・政策など、情報関連における事項を包括的に解説。

ひとつひとつのアルゴリズムについて、まず図形的にイメージし、次に具体的な手順を示し、さらに問・演習問題（Ｃ言語の解答）により、１．アルゴリズムの特性、限界を知る能力を身に付ける。２．基本的なアルゴリズムを習得する。

特色
・各章と章末に、計60題の問・演習問題。
・すべての問・演習問題に対してＣでの解答を掲載。