設計だってテストしたい！【本書の内容】本書はHillel Wayne, "Practical TLA+",Apress, 2018の邦訳版です。複雑精緻なシステムを構築する際に、設計そのもの、仕様そのものにバグがないかをテストできたら、もう少し幸せな開発人生を送れそうな気がします。本書は送金システムの小規模な仕様からTLA+を使ってヤバいバグを発見するところから始まります。この小さなサンプルをもとに、より良いアプリケーションの設計・テスト・構築に、どのようにTLA+を使えばよいかを理解し、実際のプロジェクトに援用できるよう、TLA+の演算子、論理、関数、PlusCal、モデル、および同時実行の基礎を学びます。設計図の整理の仕方、分散システムや最終的な整合性の指定の仕方を学んだら、アルゴリズムのパフォーマンスやデータ構造、ビジネスコードやMapReduceなど、さまざまな実用的な問題にTLA+を適用し、ケーススタディのアプリケーションを使って実践します。

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。※この電子書籍は紙版書籍のページデザインで制作した固定レイアウトです。基礎から始めて必ず修得できる教科書・自習書の決定版本書は、長年にわたり全世界で教科書や自習書として広く利用され、定評を得ている米国McGraw-Hill社のSchaum's Outline Seriesの日本語翻訳版です。コンピュータ科学を学ぼうとする学生を主対象に、論理代数からグラフ理論、数え上げ、アルゴリズム、形式言語とオートマトンまで、コンピュータ科学に必要な数学の基礎を例題解説と演習問題を通して確実に身につけることができるよう構成されています。※　改訂版の日本語版では、原著者と原書出版社の理解を得て、日本における標準的な離散数学のカリキュラムに沿う形で、一部の章の割愛と、日本語版オリジナルとして、序章および付...

**本物のキッチンは野外にある！焚き火で味わう米国流ダッチオーヴンクッキング！冒険心が刺激される豪快アウトドア料理の醍醐味がこの１冊に！【CONTENTS】**CHAPTER1 高品質のダッチオーヴンはどのように作られるかCHAPTER2 ダッチオーヴンが世界で愛される理由CHAPTER3 ダッチオーヴンを使いこなす15の方法CHAPTER4 チャコールブリケットを使ってみよう！CHAPTER5 キャンプファイヤーの炭を使いこなすCHAPTER6 ビーンホール料理に挑戦してみよう！CHAPTER7 ダッチオーヴンの洗浄とメンテナンスCHAPTER8 ダッチオーヴン料理に便利な道具CHAPTER9 ダッチオーヴンで作るイージーブレッドテイター・ノブ・ホーケーキ／バノック／南部風ビスケットとカントリーグレーヴィー／カントリー・ダッチ・コーンブレッド／サワードウ・ビスケット／アップルソース・ブレッド...

This book is designed for young readers. This book may be helpful to students who are learning multiple languages. This book presents information about U.S. local law enforcement work in English, Japanese, and Traditional Chinese, which allow the students to make quick comparisons between the languages.Featuring colorful illustrations to support the text.Ebook available from Kobo, Apple Books and Barnes & Noble