定理証明手習い
紙書籍をお届けします（PDFがついてきます） 紙書籍のみが必要な場合は、こちらの紙書籍単品をお求めください PDFのみが必要な場合は、こちらのPDF単品をお求めください PDFは購入後すぐにダウンロード可能です 紙書籍は通常、ご注文から2～3営業日で発送します 年末年始や大型連休など、1週間から10日程度、配送のお休みをいただく場合があります。詳しくはお知らせをご覧ください プログラムの正しさは証明できる。定理証明へ踏み出すための最高のガイドブック Daniel P. Friedman, Carl Eastlund 著、中野圭介 監訳 240ページ A5判 ISBN：978-4-908686-02-3 2017年10月23日 第1版第1刷 発行 正誤情報 あるプログラムが、考えられるあらゆる入力に対して誤った動作を引き起さないことは、テストを書いても確かめられません。それを確かめるには、公
『Engineers in VOYAGE ― 事業をエンジニアリングする技術者たち』発売のお知らせ
ご来店ありがとうございます。 2020年8月の新刊、『Engineers in VOYAGE 事業をエンジニアリングする技術者たち』（株式会社VOYAGE GROUP 監修、和田卓人 編）の発売を開始しました。 本書は、和田卓人氏による 株式会社VOYAGE GROUP のエンジニア11人へのインタビューを書籍としてまとめたものです。2020年代に日本のインターネット事業で働く多くの人（ソフトウェアエンジニアに限りません！）が共感できる話、知りたかった話、さらには日々の仕事への向き合い方に対するヒントが満載された、たいへん濃い一冊となっています。 とはいえ、この新刊案内を目にしたソフトウェアエンジニアの中には、「そもそもVOYAGE GROUPが何をしている会社かよくわからない」という方も少なくはないでしょう。実のところ、VOYAGE GROUPは多様なインターネット事業を展開する会社の集
プロフェッショナルSSL/TLS
こちらは改訂前の旧版のページです。改題第2版の商品ページをご覧ください Webセキュリティ解説の決定版 "Bulletproof SSL and TLS" の全訳（原書2017年版へのアップグレード済み） Ivan Ristić 著、齋藤孝道 監訳 520ページ B5判 ISBN：978-4-908686-00-9 電子書籍の形式：PDF 2020年7月4日 第1版第5刷 発行（原書2017年版アップグレード対応済み） 本サイトにてユーザ登録のうえ購入いただくと、原著改訂第2版に収録されるTLS 1.3の解説章を付録として含んだ特別版PDFがお読みいただけます 現代生活を支えるネットワークにとって、通信の暗号化は不可欠の機能です。しかし、実際のインターネットで暗号化通信を利用できるようにするには、暗号化アルゴリズムの知識だけでなく、セキュリティプロトコルとその実装技術、さらに、基盤となる信
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
