Conte aos seus amigos sobre este item:
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97 - IFIP Advances in Information and Communication Technology Atsushi Togashi 1997 edition
Preço
R$ 1.121,90
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 30 de set - 6 de out
Receba avisos sobre novos lançamentos de Atsushi Togashi
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97 - IFIP Advances in Information and Communication Technology
Atsushi Togashi
FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic).
550 pages, biography
| Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
| Lançado | 31 de outubro de 1997 |
| ISBN13 | 9780412820601 |
| Editoras | Chapman and Hall |
| Páginas | 550 |
| Dimensões | 156 × 234 × 31 mm · 984 g |
| Idioma | Inglês |
![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)
