この商品を友人に教える:
Modelling Distributed Systems - Texts in Theoretical Computer Science. An EATCS Series Wan Fokkink Softcover reprint of hardcover 1st ed. 2007 edition
価格
¥ 10.489
税抜
遠隔倉庫からの取り寄せ
発送予定日 年9月1日 - 年9月17日
Wan Fokkink の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加
他の形態でも入手可能：
Modelling Distributed Systems - Texts in Theoretical Computer Science. An EATCS Series
Wan Fokkink
This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques. Full solutions are provided in an appendix, while exercise sheets, lab exercises, example specifications and lecturer slides are available on the author's website.
162 pages, 7 black & white tables, biography
| メディア | 書籍 Paperback Book (ソフトカバーで背表紙を接着した本) |
| リリース済み | 2010年11月18日 |
| ISBN13 | 9783642093210 |
| 出版社 | Springer-Verlag Berlin and Heidelberg Gm |
| ページ数 | 154 |
| 寸法 | 155 × 235 × 8 mm · 240 g |
| 言語 | 英語 |
Wan Fokkinkの他の作品を見る
すべて表示![Cover for Wan Fokkink · Introduction to Process Algebra - Texts in Theoretical Computer Science. An EATCS Series (Paperback Book) [Softcover reprint of hardcover 1st ed. 2000 edition] (2010)](https://imusic.b-cdn.net/images/item/original/840/9783642085840.jpg?wan-fokkink-2010-introduction-to-process-algebra-texts-in-theoretical-computer-science-an-eatcs-series-paperback-book&class=scaled&v=1614963679)
同じ出版社からのその他の記事
![Cover for Beatrix Troger · Steuerstandort Großbritannien: Grundlagen und Praxis des britischen Steuerrechts (Paperback Book) [2. Auflage 2025 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Imaging of Bone Tumors and Tumor-Like Lesions: Techniques and Applications - Medical Radiology (Hardcover Book) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/141/9783662733141.jpg?2027-imaging-of-bone-tumors-and-tumor-like-lesions-techniques-and-applications-medical-radiology-hardcover-book&class=scaled&v=1775079856)
![Cover for Handbuch Unternehmensorganisation: Strategien, Planung, Umsetzung (Book) [4. Auflage 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/290/9783642420290.jpg?2026-handbuch-unternehmensorganisation-strategien-planung-umsetzung-book&class=scaled&v=1779860172)
![Cover for Jean Paul · Jean Pauls Samtliche Werke. Historisch-kritische Ausgabe: Zweite Abteilung. Band 10.3: Satiren und Ironien. Kommentar (Hardcover Book) [1. Aufl. 2025 edition] (2026)](https://imusic.b-cdn.net/images/item/original/229/9783740012229.jpg?jean-paul-2026-jean-pauls-samtliche-werke-historisch-kritische-ausgabe-zweite-abteilung-band-10-3-satiren-und-ironien-kommentar-hardcover-book&class=scaled&v=1606304271)
![Cover for Karlheinz Schuffler · Musical Scales and their Mathematics - Mathematics Study Resources (Paperback Book) [2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/401/9783662695401.jpg?karlheinz-schuffler-2026-musical-scales-and-their-mathematics-mathematics-study-resources-paperback-book&class=scaled&v=1735177753)
![Cover for Kyrill-Alexander Schwarz · Praxishandbuch Landesstaatsorganisationsrecht (Hardcover Book) [1. Aufl. 2025 edition] (2026)](https://imusic.b-cdn.net/images/item/original/355/9783642253355.jpg?kyrill-alexander-schwarz-2026-praxishandbuch-landesstaatsorganisationsrecht-hardcover-book&class=scaled&v=1408485129)
![Cover for Franz Kronthaler · Data Analysis with RStudio: An Easygoing Introduction (Paperback Book) [Second rev. and enl. Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/434/9783662732434.jpg?franz-kronthaler-2026-data-analysis-with-rstudio-an-easygoing-introduction-paperback-book&class=scaled&v=1778114467)
![Cover for Albrecht Beutelspacher · Modern Cryptography: From RSA to Zero-Knowledge and Beyond - Mathematics Study Resources (Paperback Book) [2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/420/9783662674420.jpg?albrecht-beutelspacher-2026-modern-cryptography-from-rsa-to-zero-knowledge-and-beyond-mathematics-study-resources-paperback-book&class=scaled&v=1688517177)
![Cover for Dieter Schramm · Vehicle Dynamics: Modeling and Simulation (Hardcover Book) [Third Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/166/9783662723166.jpg?dieter-schramm-2026-vehicle-dynamics-modeling-and-simulation-hardcover-book&class=scaled&v=1774297528)
Wan Fokkinkのすべてを見る ( 例： Hardcover Book および Paperback Book )