この商品を友人に教える:
Formal Description Techniques and Protocol Specification, Testing and Verification - Ifip Advances in Information and Communication Technology Stan Budkowski
価格
¥ 38.761
税抜
遠隔倉庫からの取り寄せ
発送予定日 年8月11日 - 年8月27日
Stan Budkowski の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加
Formal Description Techniques and Protocol Specification, Testing and Verification - Ifip Advances in Information and Communication Technology
Stan Budkowski
Addresses formal description techniques applicable to distributed systems and communication protocols. This title presents the state of the art in theory, application, tools and industrialization of FDTs. It features FDT-based system and protocol engineering, FDT-application to distributed systems, and protocol engineering.
470 pages, biography
| メディア | 書籍 Hardcover Book (ハードカバー付きの本) |
| リリース済み | 1998年10月31日 |
| ISBN13 | 9780412847608 |
| 出版社 | Chapman and Hall |
| ページ数 | 470 |
| 寸法 | 156 × 234 × 26 mm · 857 g |
| 編集者 | Budkowski, Stan |
| 編集者 | Cavalli, Ana |
| 編集者 | Najm, Elie |
![Cover for S.B. Ross-Murphy · Physical Techniques for the Study of Food Biopolymers (Hardcover Book) [New edition] (2004)](https://imusic.b-cdn.net/images/item/original/790/9780751401790.jpg?s-b-ross-murphy-2004-physical-techniques-for-the-study-of-food-biopolymers-hardcover-book&class=scaled&v=1409746256)
![Cover for R I Damper · Data-Driven Techniques in Speech Synthesis - Telecommunications Technology & Applications Series (Hardcover Book) [2001 edition] (2001)](https://imusic.b-cdn.net/images/item/original/502/9780412817502.jpg?r-i-damper-2001-data-driven-techniques-in-speech-synthesis-telecommunications-technology-applications-series-hardcover-book&class=scaled&v=1575172097)
![Cover for O.R. Green · A Manual of Practical Laboratory and Field Techniques in Palaeobiology (Hardcover Book) [2001 edition] (2001)](https://imusic.b-cdn.net/images/item/original/805/9780412589805.jpg?o-r-green-2001-a-manual-of-practical-laboratory-and-field-techniques-in-palaeobiology-hardcover-book&class=scaled&v=1441651383)
![Cover for E Mainsah · Metrology and Properties of Engineering Surfaces (Hardcover Book) [2001 edition] (2001)](https://imusic.b-cdn.net/images/item/original/407/9780412806407.jpg?e-mainsah-2001-metrology-and-properties-of-engineering-surfaces-hardcover-book&class=scaled&v=1615925832)
![Cover for Franco Pirajno · Ore Deposits and Mantle Plumes (Hardcover Book) [2000 edition] (2001)](https://imusic.b-cdn.net/images/item/original/401/9780412811401.jpg?franco-pirajno-2001-ore-deposits-and-mantle-plumes-hardcover-book&class=scaled&v=1608827742)
![Cover for S.K. Guha · Induced Earthquakes (Hardcover Book) [2001 edition] (2001)](https://imusic.b-cdn.net/images/item/original/701/9780412498701.jpg?s-k-guha-2001-induced-earthquakes-hardcover-book&class=scaled&v=1605388272)
![Cover for Melody Clark · Comparative Genomics (Hardcover Book) [2000 edition] (2000)](https://imusic.b-cdn.net/images/item/original/808/9780412830808.jpg?melody-clark-2000-comparative-genomics-hardcover-book&class=scaled&v=1424265549)
![Cover for Kluwer Academic Publishers · Silicon-Containing Polymers: The Science and Technology of Their Synthesis and Applications (Hardcover Book) [2000 edition] (2000)](https://imusic.b-cdn.net/images/item/original/102/9780412831102.jpg?kluwer-academic-publishers-2000-silicon-containing-polymers-the-science-and-technology-of-their-synthesis-and-applications-hardcover-book&class=scaled&v=1543913615)
![Cover for Hai-Sui Yu · Cavity Expansion Methods in Geomechanics (Hardcover Book) [2000 edition] (2000)](https://imusic.b-cdn.net/images/item/original/907/9780412799907.jpg?hai-sui-yu-2000-cavity-expansion-methods-in-geomechanics-hardcover-book&class=scaled&v=1414445356)
![Cover for U Dinesh Kumar · Reliability, Maintenance and Logistic Support: - A Life Cycle Approach (Hardcover Book) [2000 edition] (2000)](https://imusic.b-cdn.net/images/item/original/405/9780412842405.jpg?u-dinesh-kumar-2000-reliability-maintenance-and-logistic-support-a-life-cycle-approach-hardcover-book&class=scaled&v=1603922751)
![Cover for J G Grootenhuis · Wildlife Conservation by Sustainable Use - Conservation Biology (Hardcover Book) [2000 edition] (2000)](https://imusic.b-cdn.net/images/item/original/309/9780412797309.jpg?j-g-grootenhuis-2000-wildlife-conservation-by-sustainable-use-conservation-biology-hardcover-book&class=scaled&v=1475552446)
![Cover for J Anthony Semlyen · Cyclic Polymers (Hardcover Book) [2nd ed. 2000 edition] (2000)](https://imusic.b-cdn.net/images/item/original/907/9780412830907.jpg?j-anthony-semlyen-2000-cyclic-polymers-hardcover-book&class=scaled&v=1486356931)
![Cover for J.W. Hertrampf · Handbook on Ingredients for Aquaculture Feeds (Hardcover Book) [2000 edition] (2000)](https://imusic.b-cdn.net/images/item/original/606/9780412627606.jpg?j-w-hertrampf-2000-handbook-on-ingredients-for-aquaculture-feeds-hardcover-book&class=scaled&v=1611609868)
![Cover for Walter A. Poucher · Poucher's Perfumes, Cosmetics and Soaps (Hardcover Book) [10th ed. 2000 edition] (2000)](https://imusic.b-cdn.net/images/item/original/791/9780751404791.jpg?walter-a-poucher-2000-poucher-s-perfumes-cosmetics-and-soaps-hardcover-book&class=scaled&v=1604025092)
![Cover for K.M. Treves-Brown · Applied Fish Pharmacology - Aquaculture Series (Hardcover Book) [2000 edition] (2000)](https://imusic.b-cdn.net/images/item/original/802/9780412621802.jpg?k-m-treves-brown-2000-applied-fish-pharmacology-aquaculture-series-hardcover-book&class=scaled&v=1438539052)
![Cover for T. Franklin · Biochemistry and Molecular Biology of Antimicrobial Drug Action (Paperback Book) [Softcover reprint of the original 1st ed. 1998 edition] (2000)](https://imusic.b-cdn.net/images/item/original/905/9780412821905.jpg?t-franklin-2000-biochemistry-and-molecular-biology-of-antimicrobial-drug-action-paperback-book&class=scaled&v=1655884520)
![Cover for R. Zoughi · Microwave Non-Destructive Testing and Evaluation Principles - Non-Destructive Evaluation Series (Hardcover Book) [2000 edition] (2000)](https://imusic.b-cdn.net/images/item/original/008/9780412625008.jpg?r-zoughi-2000-microwave-non-destructive-testing-and-evaluation-principles-non-destructive-evaluation-series-hardcover-book&class=scaled&v=1605561938)
![Cover for M. Wilson · Igneous Petrogenesis (Paperback Book) [2 Revised edition] (2000)](https://imusic.b-cdn.net/images/item/original/809/9780412750809.jpg?m-wilson-2000-igneous-petrogenesis-paperback-book&class=scaled&v=1612854665)
![Cover for Barbara Ekbom · Interchanges of Insects between Agricultural and Surrounding Landscapes (Hardcover Book) [2000 edition] (2000)](https://imusic.b-cdn.net/images/item/original/902/9780412822902.jpg?barbara-ekbom-2000-interchanges-of-insects-between-agricultural-and-surrounding-landscapes-hardcover-book&class=scaled&v=1477416626)
![Cover for M Mastalerz · Organic Matter and Mineralisation: Thermal Alteration, Hydrocarbon Generation and Role in Metallogenesis (Hardcover Book) [2000 edition] (2000)](https://imusic.b-cdn.net/images/item/original/307/9780412733307.jpg?m-mastalerz-2000-organic-matter-and-mineralisation-thermal-alteration-hydrocarbon-generation-and-role-in-metallogenesis-hardcover-book&class=scaled&v=1609133844)
![Cover for Jiju Antony · Experimental Quality: A strategic approach to achieve and improve quality (Hardcover Book) [2000 edition] (1999)](https://imusic.b-cdn.net/images/item/original/402/9780412814402.jpg?jiju-antony-1999-experimental-quality-a-strategic-approach-to-achieve-and-improve-quality-hardcover-book&class=scaled&v=1535983421)
![Cover for Nick Bagdassarov · Physics and Chemistry of Partially Molten Rocks - Petrology and Structural Geology (Hardcover Book) [2000 edition] (1999)](https://imusic.b-cdn.net/images/item/original/202/9780412847202.jpg?nick-bagdassarov-1999-physics-and-chemistry-of-partially-molten-rocks-petrology-and-structural-geology-hardcover-book&class=scaled&v=1633641166)
![Cover for F T Wallenberger · Advanced Inorganic Fibers: Processes - Structure - Properties - Applications - Materials Technology Series (Hardcover Book) [2000 edition] (1999)](https://imusic.b-cdn.net/images/item/original/905/9780412607905.jpg?f-t-wallenberger-1999-advanced-inorganic-fibers-processes-structure-properties-applications-materials-technology-series-hardcover-book&class=scaled&v=1608840392)
![Cover for Gerard M Swallone · Mechanical Properties and Testing of Polymers: An A-Z Reference - Polymer Science and Technology Series (Hardcover Book) [1999 edition] (1999)](https://imusic.b-cdn.net/images/item/original/709/9780412801709.jpg?gerard-m-swallone-1999-mechanical-properties-and-testing-of-polymers-an-a-z-reference-polymer-science-and-technology-series-hardcover-book&class=scaled&v=1632858125)
