Conte aos seus amigos sobre este item:
Formal Description Techniques and Protocol Specification, Testing and Verification - Ifip Advances in Information and Communication Technology Stan Budkowski
Preço
€ 215,99
Item sob encomenda (no estoque do fornecedor)
Data prevista de entrega 16 - 30 de set
Receba avisos sobre novos lançamentos de Stan Budkowski
O que dizem nossos clientes:
Adicione à sua lista de desejos do 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
| Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
| Lançado | 31 de outubro de 1998 |
| ISBN13 | 9780412847608 |
| Editoras | Chapman and Hall |
| Páginas | 470 |
| Dimensões | 156 × 234 × 26 mm · 857 g |
| Editor | Budkowski, Stan |
| Editor | Cavalli, Ana |
| Editor | 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 Anatomy of an Orogen: The Apennines and Adjacent Mediterranean Basins (Hardcover Book) [2001 edition] (2001)](https://imusic.b-cdn.net/images/item/original/403/9780412750403.jpg?2001-anatomy-of-an-orogen-the-apennines-and-adjacent-mediterranean-basins-hardcover-book&class=scaled&v=1604009335)
![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 Tom G. Blenkinsop · Deformation Microstructures and Mechanisms in Minerals and Rocks (Hardcover Book) [2000 edition] (2000)](https://imusic.b-cdn.net/images/item/original/809/9780412734809.jpg?tom-g-blenkinsop-2000-deformation-microstructures-and-mechanisms-in-minerals-and-rocks-hardcover-book&class=scaled&v=1608778417)
![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)
