Pastāsti draugiem par šo preci:
Programming Concepts and Methods: Ifip Tc2 / Wg2.2, 2.3 International Conference on Programming Concepts and Methods (Procomet '98) 8-12 June 1998, Shelter Island, New York, USA - Ifip Advances in Information and Communication Technology Chapman
Cena
€ 202,49
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 16. - 24. nov.
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim
Saņemiet paziņojumus par jauniem Chapman izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
Programming Concepts and Methods: Ifip Tc2 / Wg2.2, 2.3 International Conference on Programming Concepts and Methods (Procomet '98) 8-12 June 1998, Shelter Island, New York, USA - Ifip Advances in Information and Communication Technology
Chapman
Discusses some of the key issues in programming concepts and methods, with an emphasis on formal specification, formal verification and mathematical foundations. This book covers a number of topics in this field, including compositional approaches to specification and verification, the design of verification support tools and more.
486 pages, biography
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 1998. gada 31. maijs |
| ISBN13 | 9780412837609 |
| Izdevēji | Chapman and Hall |
| Lapas | 486 |
| Izmēri | 156 × 234 × 26 mm · 870 g |
| Valoda | Angļu |
| Redaktors | De Roever, Willem-paul |
| Redaktors | Gries, David |
![Cover for Chapman · Intelligent Systems for Manufacturing: Multi-Agent Systems and Virtual Organizations Proceedings of the BASYS'98 - 3rd IEEE / IFIP International Conference on Information Technology for BALANCED AUTOMATION SYSTEMS in Manufacturing Prague, Czech Republic, (Hardcover Book) [1998 edition] (1998)](https://imusic.b-cdn.net/images/item/original/700/9780412846700.jpg?chapman-1998-intelligent-systems-for-manufacturing-multi-agent-systems-and-virtual-organizations-proceedings-of-the-basys-98-3rd-ieee-ifip-international-conference-on-information-technology-for-balanced-automation-systems-in-manufacturing-prague-czech-repu&class=scaled&v=1447305230)
![Cover for Chapman · Performance of Information and Communication Systems: IFIP TC6 / WG6.3 Seventh International Conference on Performance of Information and Communication Systems (PICS '98) 25-28 May 1998, Lund, Sweden - IFIP Advances in Information and Communication Techno (Hardcover Book) [1998 edition] (1998)](https://imusic.b-cdn.net/images/item/original/302/9780412837302.jpg?chapman-1998-performance-of-information-and-communication-systems-ifip-tc6-wg6-3-seventh-international-conference-on-performance-of-information-and-communication-systems-pics-98-25-28-may-1998-lund-sweden-ifip-advances-in-information-and-communication-tech&class=scaled&v=1444725504)
![Cover for Chapman · Optical Network Design and Modelling: IFIP TC6 Working Conference on Optical Network Design and Modelling 24-25 February 1997, Vienna, Austria - IFIP Advances in Information and Communication Technology (Hardcover Book) [1998 edition] (1998)](https://imusic.b-cdn.net/images/item/original/603/9780412842603.jpg?chapman-1998-optical-network-design-and-modelling-ifip-tc6-working-conference-on-optical-network-design-and-modelling-24-25-february-1997-vienna-austria-ifip-advances-in-information-and-communication-technology-hardcover-book&class=scaled&v=1447305231)
![Cover for Chapman · Systems Implementation 2000 - IFIP Advances in Information and Communication Technology (Hardcover Book) [1998 edition] (1998)](https://imusic.b-cdn.net/images/item/original/308/9780412835308.jpg?chapman-1998-systems-implementation-2000-ifip-advances-in-information-and-communication-technology-hardcover-book&class=scaled&v=1447305229)
![Cover for Chapman · Encyclopedia of European and Asian Regional Geology - Encyclopedia of Earth Sciences Series (Hardcover Book) [1998 edition] (1997)](https://imusic.b-cdn.net/images/item/original/404/9780412740404.jpg?chapman-1997-encyclopedia-of-european-and-asian-regional-geology-encyclopedia-of-earth-sciences-series-hardcover-book&class=scaled&v=1420800552)
![Cover for Chapman · Integrity and Internal Control in Information Systems: Volume 1: Increasing the confidence in information systems - IFIP Advances in Information and Communication Technology (Hardcover Book) [1997 edition] (1997)](https://imusic.b-cdn.net/images/item/original/009/9780412826009.jpg?chapman-1997-integrity-and-internal-control-in-information-systems-volume-1-increasing-the-confidence-in-information-systems-ifip-advances-in-information-and-communication-technology-hardcover-book&class=scaled&v=1447305231)
![Cover for Chapman · Structure and Properties of Oriented Polymers (Hardcover Book) [2nd ed. 1997 edition] (1997)](https://imusic.b-cdn.net/images/item/original/803/9780412608803.jpg?chapman-1997-structure-and-properties-of-oriented-polymers-hardcover-book&class=scaled&v=1447305229)
![Cover for Chapman · Fluvial Geomorphology of Great Britain - Geological Conservation Review Series (Hardcover Book) [1997 edition] (1997)](https://imusic.b-cdn.net/images/item/original/304/9780412789304.jpg?chapman-1997-fluvial-geomorphology-of-great-britain-geological-conservation-review-series-hardcover-book&class=scaled&v=1623680152)
![Cover for Chapman · Computer Applications in Production and Engineering: IFIP TC5 International Conference on Computer Applications in Production and Engineering (CAPE '97) 5-7 November 1997, Detroit, Michigan, USA - IFIP Advances in Information and Communication Technology (Hardcover Book) [1997 edition] (1997)](https://imusic.b-cdn.net/images/item/original/103/9780412821103.jpg?chapman-1997-computer-applications-in-production-and-engineering-ifip-tc5-international-conference-on-computer-applications-in-production-and-engineering-cape-97-5-7-november-1997-detroit-michigan-usa-ifip-advances-in-information-and-communication-technolo&class=scaled&v=1447305229)
![Cover for Chapman · The Physics of Glassy Polymers (Hardcover Book) [2nd ed. 1997 edition] (1997)](https://imusic.b-cdn.net/images/item/original/605/9780412624605.jpg?chapman-1997-the-physics-of-glassy-polymers-hardcover-book&class=scaled&v=1447305229)
![Cover for Chapman · Advances in Hardware Design and Verification - IFIP Advances in Information and Communication Technology (Hardcover Book) [1997 edition] (1997)](https://imusic.b-cdn.net/images/item/original/306/9780412813306.jpg?chapman-1997-advances-in-hardware-design-and-verification-ifip-advances-in-information-and-communication-technology-hardcover-book&class=scaled&v=1447305229)
![Cover for Chapman · Distributed Applications and Interoperable Systems (Hardcover Book) [1997 edition] (1997)](https://imusic.b-cdn.net/images/item/original/404/9780412823404.jpg?chapman-1997-distributed-applications-and-interoperable-systems-hardcover-book&class=scaled&v=1447305231)
![Cover for Chapman · Communications and Multimedia Security: Volume 3 - IFIP Advances in Information and Communication Technology (Hardcover Book) [1997 edition] (1997)](https://imusic.b-cdn.net/images/item/original/700/9780412817700.jpg?chapman-1997-communications-and-multimedia-security-volume-3-ifip-advances-in-information-and-communication-technology-hardcover-book&class=scaled&v=1447305230)
![Cover for Chapman · Human-Computer Interaction: INTERACT '97 - IFIP Advances in Information and Communication Technology (Hardcover Book) [1997 edition] (1997)](https://imusic.b-cdn.net/images/item/original/507/9780412809507.jpg?chapman-1997-human-computer-interaction-interact-97-ifip-advances-in-information-and-communication-technology-hardcover-book&class=scaled&v=1447305229)
![Cover for Chapman · Open Distributed Processing and Distributed Platforms - IFIP Advances in Information and Communication Technology (Hardcover Book) [1997 edition] (1997)](https://imusic.b-cdn.net/images/item/original/309/9780412812309.jpg?chapman-1997-open-distributed-processing-and-distributed-platforms-ifip-advances-in-information-and-communication-technology-hardcover-book&class=scaled&v=1447305230)
![Cover for Chapman · Information Systems and Qualitative Research: Proceedings of the IFIP TC8 WG 8.2 International Conference on Information Systems and Qualitative Research, 31st May-3rd June 1997, Philadelphia, Pennsylvania, USA - IFIP Advances in Information and Communica (Hardcover Book) [1997 edition] (1997)](https://imusic.b-cdn.net/images/item/original/602/9780412823602.jpg?chapman-1997-information-systems-and-qualitative-research-proceedings-of-the-ifip-tc8-wg-8-2-international-conference-on-information-systems-and-qualitative-research-31st-may-3rd-june-1997-philadelphia-pennsylvania-usa-ifip-advances-in-information-and-comm&class=scaled&v=1447305229)
![Cover for Chapman · Biology of the Insect Midgut (Hardcover Book) [1996 edition] (1996)](https://imusic.b-cdn.net/images/item/original/709/9780412616709.jpg?chapman-1996-biology-of-the-insect-midgut-hardcover-book&class=scaled&v=1447305230)
![Cover for Chapman · Information Systems Security: Facing the information society of the 21st century - IFIP Advances in Information and Communication Technology (Hardcover Book) [1996 edition] (1996)](https://imusic.b-cdn.net/images/item/original/209/9780412781209.jpg?chapman-1996-information-systems-security-facing-the-information-society-of-the-21st-century-ifip-advances-in-information-and-communication-technology-hardcover-book&class=scaled&v=1440701898)
![Cover for Chapman · Ethics of Computing: Codes, spaces for discussion and law - IFIP Advances in Information and Communication Technology (Hardcover Book) [1996 edition] (1996)](https://imusic.b-cdn.net/images/item/original/200/9780412726200.jpg?chapman-1996-ethics-of-computing-codes-spaces-for-discussion-and-law-ifip-advances-in-information-and-communication-technology-hardcover-book&class=scaled&v=1447305230)
![Cover for Chapman · Formal Description Techniques VIII - IFIP Advances in Information and Communication Technology (Hardcover Book) [1996 edition] (1996)](https://imusic.b-cdn.net/images/item/original/706/9780412732706.jpg?chapman-1996-formal-description-techniques-viii-ifip-advances-in-information-and-communication-technology-hardcover-book&class=scaled&v=1447305230)
![Cover for Chapman · Information Security - the Next Decade - IFIP Advances in Information and Communication Technology (Hardcover Book) [1995 edition] (1995)](https://imusic.b-cdn.net/images/item/original/209/9780412640209.jpg?chapman-1995-information-security-the-next-decade-ifip-advances-in-information-and-communication-technology-hardcover-book&class=scaled&v=1447305230)
![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)
