Fortell venner om denne varen:
Formal Description Techniques and Protocol Specification, Testing and Verification - Ifip Advances in Information and Communication Technology Stan Budkowski
Pris
NOK 2.199
Bestillingsvarer
Forventes levert 17. sep - 1. okt
Få varsel om nye utgivelser fra Stan Budkowski
Legg til iMusic ønskeliste
eller
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
| Media | Bøker Innbunden bok (Bok med hard rygg og stivt omslag) |
| Utgitt | 31. oktober 1998 |
| ISBN13 | 9780412847608 |
| Utgivere | Chapman and Hall |
| Antall sider | 470 |
| Mål | 156 × 234 × 26 mm · 857 g |
| Redaktør | Budkowski, Stan |
| Redaktør | Cavalli, Ana |
| Redaktør | Najm, Elie |
![Cover for S.B. Ross-Murphy · Physical Techniques for the Study of Food Biopolymers (Innbunden bok) [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-innbunden-bok&class=scaled&v=1409746256)
![Cover for Anatomy of an Orogen: The Apennines and Adjacent Mediterranean Basins (Innbunden bok) [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-innbunden-bok&class=scaled&v=1604009335)
![Cover for R I Damper · Data-Driven Techniques in Speech Synthesis - Telecommunications Technology & Applications Series (Innbunden bok) [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-innbunden-bok&class=scaled&v=1575172097)
![Cover for O.R. Green · A Manual of Practical Laboratory and Field Techniques in Palaeobiology (Innbunden bok) [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-innbunden-bok&class=scaled&v=1441651383)
![Cover for E Mainsah · Metrology and Properties of Engineering Surfaces (Innbunden bok) [2001 edition] (2001)](https://imusic.b-cdn.net/images/item/original/407/9780412806407.jpg?e-mainsah-2001-metrology-and-properties-of-engineering-surfaces-innbunden-bok&class=scaled&v=1615925832)
![Cover for Franco Pirajno · Ore Deposits and Mantle Plumes (Innbunden bok) [2000 edition] (2001)](https://imusic.b-cdn.net/images/item/original/401/9780412811401.jpg?franco-pirajno-2001-ore-deposits-and-mantle-plumes-innbunden-bok&class=scaled&v=1608827742)
![Cover for S.K. Guha · Induced Earthquakes (Innbunden bok) [2001 edition] (2001)](https://imusic.b-cdn.net/images/item/original/701/9780412498701.jpg?s-k-guha-2001-induced-earthquakes-innbunden-bok&class=scaled&v=1605388272)
![Cover for Tom G. Blenkinsop · Deformation Microstructures and Mechanisms in Minerals and Rocks (Innbunden bok) [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-innbunden-bok&class=scaled&v=1608778417)
![Cover for Melody Clark · Comparative Genomics (Innbunden bok) [2000 edition] (2000)](https://imusic.b-cdn.net/images/item/original/808/9780412830808.jpg?melody-clark-2000-comparative-genomics-innbunden-bok&class=scaled&v=1424265549)
![Cover for Kluwer Academic Publishers · Silicon-Containing Polymers: The Science and Technology of Their Synthesis and Applications (Innbunden bok) [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-innbunden-bok&class=scaled&v=1543913615)
![Cover for Hai-Sui Yu · Cavity Expansion Methods in Geomechanics (Innbunden bok) [2000 edition] (2000)](https://imusic.b-cdn.net/images/item/original/907/9780412799907.jpg?hai-sui-yu-2000-cavity-expansion-methods-in-geomechanics-innbunden-bok&class=scaled&v=1414445356)
![Cover for U Dinesh Kumar · Reliability, Maintenance and Logistic Support: - A Life Cycle Approach (Innbunden bok) [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-innbunden-bok&class=scaled&v=1603922751)
![Cover for J G Grootenhuis · Wildlife Conservation by Sustainable Use - Conservation Biology (Innbunden bok) [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-innbunden-bok&class=scaled&v=1475552446)
![Cover for J Anthony Semlyen · Cyclic Polymers (Innbunden bok) [2nd ed. 2000 edition] (2000)](https://imusic.b-cdn.net/images/item/original/907/9780412830907.jpg?j-anthony-semlyen-2000-cyclic-polymers-innbunden-bok&class=scaled&v=1486356931)
![Cover for J.W. Hertrampf · Handbook on Ingredients for Aquaculture Feeds (Innbunden bok) [2000 edition] (2000)](https://imusic.b-cdn.net/images/item/original/606/9780412627606.jpg?j-w-hertrampf-2000-handbook-on-ingredients-for-aquaculture-feeds-innbunden-bok&class=scaled&v=1611609868)
![Cover for Walter A. Poucher · Poucher's Perfumes, Cosmetics and Soaps (Innbunden bok) [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-innbunden-bok&class=scaled&v=1604025092)
![Cover for K.M. Treves-Brown · Applied Fish Pharmacology - Aquaculture Series (Innbunden bok) [2000 edition] (2000)](https://imusic.b-cdn.net/images/item/original/802/9780412621802.jpg?k-m-treves-brown-2000-applied-fish-pharmacology-aquaculture-series-innbunden-bok&class=scaled&v=1438539052)
![Cover for T. Franklin · Biochemistry and Molecular Biology of Antimicrobial Drug Action (Pocketbok) [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-pocketbok&class=scaled&v=1655884520)
![Cover for R. Zoughi · Microwave Non-Destructive Testing and Evaluation Principles - Non-Destructive Evaluation Series (Innbunden bok) [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-innbunden-bok&class=scaled&v=1605561938)
![Cover for M. Wilson · Igneous Petrogenesis (Pocketbok) [2 Revised edition] (2000)](https://imusic.b-cdn.net/images/item/original/809/9780412750809.jpg?m-wilson-2000-igneous-petrogenesis-pocketbok&class=scaled&v=1612854665)
![Cover for Barbara Ekbom · Interchanges of Insects between Agricultural and Surrounding Landscapes (Innbunden bok) [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-innbunden-bok&class=scaled&v=1477416626)
![Cover for M Mastalerz · Organic Matter and Mineralisation: Thermal Alteration, Hydrocarbon Generation and Role in Metallogenesis (Innbunden bok) [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-innbunden-bok&class=scaled&v=1609133844)
![Cover for Jiju Antony · Experimental Quality: A strategic approach to achieve and improve quality (Innbunden bok) [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-innbunden-bok&class=scaled&v=1535983421)
![Cover for Nick Bagdassarov · Physics and Chemistry of Partially Molten Rocks - Petrology and Structural Geology (Innbunden bok) [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-innbunden-bok&class=scaled&v=1633641166)
![Cover for F T Wallenberger · Advanced Inorganic Fibers: Processes - Structure - Properties - Applications - Materials Technology Series (Innbunden bok) [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-innbunden-bok&class=scaled&v=1608840392)
