ERR_MNG
漫画(まんが)・電子書籍ならコミックシーモア!
コミックシーモアをご利用の際はWebブラウザの設定でJavaScriptを有効にしてください。
→設定方法はこちら
コミックシーモアをご利用の際はWebブラウザの設定でCookieを有効にしてください。
シーモアを楽しもう!
もっと見る
総合ランキング
全書籍から探す
3,500pt/3,850円(税込)
会員登録限定70%OFFクーポンで お得に読める!
会員登録して70%OFFで購入
お気に入りに追加
小説・実用書
ランキング
最新刊を見る
新刊自動購入
設計だってテストしたい!【本書の内容】本書はHillel Wayne, “Practical TLA+”,Apress, 2018の邦訳版です。複雑精緻なシステムを構築する際に、設計そのもの、仕様そのものにバグがないかをテストできたら、もう少し幸せな開発人生を送れそうな気がします。本書は送金システムの小規模な仕様からTLA+を使ってヤバいバグを発見するところから始まります。この小さなサンプルをもとに、より良いアプリケーションの設計・テスト・構築に、どのようにTLA+を使えばよいかを理解し、実際のプロジェクトに援用できるよう、TLA+の演算子、論理、関数、PlusCal、モデル、および同時実行の基礎を学びます。設計図の整理の仕方、分散システムや最終的な整合性の指定の仕方を学んだら、アルゴリズムのパフォーマンスやデータ構造、ビジネスコードやMapReduceなど、さまざまな実用的な問題にTLA+を適用し、ケーススタディのアプリケーションを使って実践します。TLA+の生みの親であるLeslie Lamportも、理論的背景を脚注で解説するなど、最先端のシステム開発テクノロジーのコアに触れることのできる1冊です。【本書のポイント】・TLA+の言語仕様を手を動かしながら学べる・小さなサンプルから並行処理や分散システムまでTLA+を適用できるようになる・短時間で読み終わるものの滋養は豊富【読者が得られること】・TLA+が理解できる・TLA+を使ったシステム開発に乗り出せる・上流からテスト駆動ができる【対象読者】・アーキテクト・デベロッパー・エンジニア※本電子書籍は同名出版物を底本として作成しました。記載内容は印刷出版当時のものです。※印刷出版再現のため電子書籍としては不要な情報を含んでいる場合があります。※印刷出版とは異なる表記・表現の場合があります。予めご了承ください。※プレビューにてお手持ちの電子端末での表示状態をご確認の上、商品をお買い求めください。
9784798169163
この作品はまだレビューがありません。
レビュー投稿で最大1000pt!
1位
変な絵
2位
皇帝の薬膳妃 紅き棗と再会の約束
3位
准教授・高槻彰良の推察
4位
わたしの幸せな結婚
5位
結界師の一輪華
6位
かくりよの宿飯
7位
すべてがFになる【S&Mシリーズ全10冊合本版】
8位
変な家 文庫版
9位
50婚 影木、おひとり様やめるってよ
10位
守り人シリーズ電子版
11位
地獄くらやみ花もなき
12位
【合本版】死の森の魔女は愛を知らない
13位
私が見た未来 完全版
14位
霊視ができるようになる本
15位
小説 劇場版『ウマ娘 プリティーダービー 新時代の扉』
16位
拝啓見知らぬ旦那様、離婚していただきます
17位
俺、つしま
18位
ミュージカル刀剣乱舞 すえひろがり 乱舞野外祭 彩時記【電子版】
19位
八咫烏シリーズ
20位
小説 ブルーロック 戦いの前、僕らは。
奉公物語~僕のお嬢様~【タテヨミ】
ふつつかな悪女ではございますが ~雛宮蝶鼠とりかえ伝~ 連載版
秘密の授業
君を忘れる恋がしたい
やり直し新卒は今度こそキミを救いたい!?(フルカラー)
侯爵令嬢リディアの美しき決断~裏切られたのでこちらから婚約破棄させていただきます~
【単話版】ゾンビのあふれた世界で俺だけが襲われない(フルカラー)
元夫から「ロミオメール」が届いた件について
悪虐聖女ですが、愛する旦那さまのお役に立ちたいです。(とはいえ、嫌われているのですが) 【連載版】
不倫暴露パーティ
ピンクとハバネロ
おいしい恋をください
【単話】拝啓見知らぬ旦那様、離婚していただきます
noicomi鬼の花嫁
鬼の妻問い ~孤高の鬼は無垢な花嫁を溺愛する~ 【連載版】
獣人騎士の求愛事情 【連載版】
パンティーノート ~下着で交わる秘密ごと~(フルカラー)
即退場したい脇役なのに、寝取ってしまった王子様が逃がしてくれません 【連載版】
あなたの妻じゃなくていいから~謝罪する夫を許せますか?~
ホタルの嫁入り【単話】
小説・実用書 > 小説・実用書
小説・実用書 > Hillel Wayne
小説・実用書 > 株式会社クイープ
小説・実用書 > 翔泳社