Fortæl dine venner om denne vare:
Program Development by Refinement: Case Studies Using the B Method - Formal Approaches to Computing and Information Technology (FACIT) Kaisa Sere 1999 edition
Pris
DKK 1.919
Bestilles fra fjernlager
Forventes klar til forsendelse 19. - 31. aug.
Modtag notifikation om nye Kaisa Sere udgivelser
Tilføj til din iMusic ønskeseddel
eller
Program Development by Refinement: Case Studies Using the B Method - Formal Approaches to Computing and Information Technology (FACIT)
Kaisa Sere
The Idea of Program Refinement Programs are complex. An approach, advocated for a long time, is to separate a concise specification of a program - the "what" - from a possibly involved implementation - the "how". Yet the specification of the graphical layout is secondary compared to the specification of the possible transactions.
364 pages, biography
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 23. oktober 1998 |
| ISBN13 | 9781852330538 |
| Forlag | Springer London Ltd |
| Antal sider | 364 |
| Mål | 155 × 235 × 19 mm · 530 g |
| Sprog | Engelsk |
| Klipper/redaktør | Sekerinski, Emil |
| Klipper/redaktør | Sere, Kaisa |
![Cover for John Vince · Mathematics for Computer Graphics - Undergraduate Topics in Computer Science (Paperback Bog) [Seventh Edition 2025 edition] (2025)](https://imusic.b-cdn.net/images/item/original/490/9781447175490.jpg?john-vince-2025-mathematics-for-computer-graphics-undergraduate-topics-in-computer-science-paperback-bog&class=scaled&v=1735144367)
![Cover for Max Bramer · Principles of Data Mining - Undergraduate Topics in Computer Science (Paperback Bog) [4th ed. 2020 edition] (2020)](https://imusic.b-cdn.net/images/item/original/929/9781447174929.jpg?max-bramer-2020-principles-of-data-mining-undergraduate-topics-in-computer-science-paperback-bog&class=scaled&v=1589239471)
![Cover for Attila Chikan · Inventories in National Economies: A Cross-Country Analysis of Macroeconomic Data (Paperback Bog) [Softcover Reprint of the Original 1st 2018 edition] (2019)](https://imusic.b-cdn.net/images/item/original/356/9781447174356.jpg?attila-chikan-2019-inventories-in-national-economies-a-cross-country-analysis-of-macroeconomic-data-paperback-bog&class=scaled&v=1576226518)
![Cover for Narain Moorjani · Operative Mitral and Tricuspid Valve Surgery (Bog) [1st ed. 2018 edition] (2019)](https://imusic.b-cdn.net/images/item/original/034/9781447142034.jpg?narain-moorjani-2019-operative-mitral-and-tricuspid-valve-surgery-bog&class=scaled&v=1603967402)
![Cover for Israel Cesar Lerman · Foundations and Methods in Combinatorial and Statistical Data Analysis and Clustering - Advanced Information and Knowledge Processing (Paperback Bog) [Softcover reprint of the original 1st ed. 2016 edition] (2018)](https://imusic.b-cdn.net/images/item/original/922/9781447173922.jpg?israel-cesar-lerman-2018-foundations-and-methods-in-combinatorial-and-statistical-data-analysis-and-clustering-advanced-information-and-knowledge-processing-paperback-bog&class=scaled&v=1599903048)
![Cover for James Hirschfeld · General Galois Geometries - Springer Monographs in Mathematics (Paperback Bog) [Softcover reprint of the original 1st ed. 2016 edition] (2018)](https://imusic.b-cdn.net/images/item/original/915/9781447173915.jpg?james-hirschfeld-2018-general-galois-geometries-springer-monographs-in-mathematics-paperback-bog&class=scaled&v=1605109793)
![Cover for Emilio Barucci · Financial Markets Theory: Equilibrium, Efficiency and Information - Springer Finance (Hardcover bog) [2nd ed. 2017 edition] (2017)](https://imusic.b-cdn.net/images/item/original/212/9781447173212.jpg?emilio-barucci-2017-financial-markets-theory-equilibrium-efficiency-and-information-springer-finance-hardcover-bog&class=scaled&v=1514889469)
![Cover for Harold L. Hallock · ACS Without an Attitude - NASA Monographs in Systems and Software Engineering (Hardcover bog) [1st ed. 2017 edition] (2017)](https://imusic.b-cdn.net/images/item/original/243/9781447173243.jpg?harold-l-hallock-2017-acs-without-an-attitude-nasa-monographs-in-systems-and-software-engineering-hardcover-bog&class=scaled&v=1503497219)
![Cover for Vilmos Komornik · Topology, Calculus and Approximation - Springer Undergraduate Mathematics Series (Paperback Bog) [1st ed. 2017 edition] (2017)](https://imusic.b-cdn.net/images/item/original/151/9781447173151.jpg?vilmos-komornik-2017-topology-calculus-and-approximation-springer-undergraduate-mathematics-series-paperback-bog&class=scaled&v=1569316505)
![Cover for Adrian David Cheok · Hyperconnectivity - Human-Computer Interaction Series (Paperback Bog) [1st ed. 2016 edition] (2017)](https://imusic.b-cdn.net/images/item/original/090/9781447173090.jpg?adrian-david-cheok-2017-hyperconnectivity-human-computer-interaction-series-paperback-bog&class=scaled&v=1489687854)
![Cover for Yves Coudene · Ergodic Theory and Dynamical Systems - Universitext (Paperback Bog) [1st ed. 2016 edition] (2016)](https://imusic.b-cdn.net/images/item/original/857/9781447172857.jpg?yves-coudene-2016-ergodic-theory-and-dynamical-systems-universitext-paperback-bog&class=scaled&v=1605404608)
![Cover for Francisco J. Valero-Cuevas · Fundamentals of Neuromechanics - Biosystems & Biorobotics (Paperback Bog) [Softcover reprint of the original 1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/891/9781447170891.jpg?francisco-j-valero-cuevas-2016-fundamentals-of-neuromechanics-biosystems-biorobotics-paperback-bog&class=scaled&v=1493137001)
![Cover for Kheng Lim Goh · Discontinuous-Fibre Reinforced Composites: Fundamentals of Stress Transfer and Fracture Mechanics - Engineering Materials and Processes (Hardcover bog) [1st ed. 2017 edition] (2016)](https://imusic.b-cdn.net/images/item/original/038/9781447173038.jpg?kheng-lim-goh-2016-discontinuous-fibre-reinforced-composites-fundamentals-of-stress-transfer-and-fracture-mechanics-engineering-materials-and-processes-hardcover-bog&class=scaled&v=1603941711)
![Cover for Rudolph Frederick Stapelberg · Handbook of Reliability, Availability, Maintainability and Safety in Engineering Design (Paperback Bog) [Softcover reprint of the original 1st ed. 2009 edition] (2016)](https://imusic.b-cdn.net/images/item/original/362/9781447171362.jpg?rudolph-frederick-stapelberg-2016-handbook-of-reliability-availability-maintainability-and-safety-in-engineering-design-paperback-bog&class=scaled&v=1667374924)
![Cover for Walter S. Brainerd · Guide to Fortran 2008 Programming (Paperback Bog) [Softcover reprint of the original 2nd ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/898/9781447168898.jpg?walter-s-brainerd-2016-guide-to-fortran-2008-programming-paperback-bog&class=scaled&v=1604780942)
![Cover for David J. Barnes · Guide to Simulation and Modeling for Biosciences - Simulation Foundations, Methods and Applications (Paperback Bog) [Softcover reprint of the original 2nd ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/980/9781447168980.jpg?david-j-barnes-2016-guide-to-simulation-and-modeling-for-biosciences-simulation-foundations-methods-and-applications-paperback-bog&class=scaled&v=1605277862)
![Cover for Sandro Corsi · Voltage Control and Protection in Electrical Power Systems: From System Components to Wide-Area Control - Advances in Industrial Control (Paperback Bog) [Softcover reprint of the original 1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/652/9781447171652.jpg?sandro-corsi-2016-voltage-control-and-protection-in-electrical-power-systems-from-system-components-to-wide-area-control-advances-in-industrial-control-paperback-bog&class=scaled&v=1478628210)
![Cover for Designing Socially Embedded Technologies in the Real-World - Computer Supported Cooperative Work (Paperback Bog) [Softcover reprint of the original 1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/157/9781447171157.jpg?2016-designing-socially-embedded-technologies-in-the-real-world-computer-supported-cooperative-work-paperback-bog&class=scaled&v=1604576510)
![Cover for A Multimodal End-2-End Approach to Accessible Computing - Human-Computer Interaction Series (Paperback Bog) [Softcover reprint of the original 2nd ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/747/9781447170747.jpg?2016-a-multimodal-end-2-end-approach-to-accessible-computing-human-computer-interaction-series-paperback-bog&class=scaled&v=1621267022)
![Cover for Arthur M. Langer · Guide to Software Development: Designing and Managing the Life Cycle (Hardcover bog) [2nd ed. 2016 edition] (2016)](https://imusic.b-cdn.net/images/item/original/976/9781447167976.jpg?arthur-m-langer-2016-guide-to-software-development-designing-and-managing-the-life-cycle-hardcover-bog&class=scaled&v=1617887999)
![Cover for Julian Ashbourn · Practical Biometrics: From Aspiration to Implementation (Paperback Bog) [Softcover reprint of the original 2nd ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/225/9781447168225.jpg?julian-ashbourn-2016-practical-biometrics-from-aspiration-to-implementation-paperback-bog&class=scaled&v=1508118784)
![Cover for Ming Yang · Energy Efficiency: Benefits for Environment and Society - Green Energy and Technology (Paperback Bog) [Softcover reprint of the original 1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/075/9781447170075.jpg?ming-yang-2016-energy-efficiency-benefits-for-environment-and-society-green-energy-and-technology-paperback-bog&class=scaled&v=1605785886)
![Cover for Longbing Cao · Metasynthetic Computing and Engineering of Complex Systems - Advanced Information and Knowledge Processing (Paperback Bog) [Softcover reprint of the original 1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/624/9781447170624.jpg?longbing-cao-2016-metasynthetic-computing-and-engineering-of-complex-systems-advanced-information-and-knowledge-processing-paperback-bog&class=scaled&v=1545149134)
![Cover for Air Pollution and Health Effects - Molecular and Integrative Toxicology (Paperback Bog) [Softcover reprint of the original 1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/921/9781447170921.jpg?2016-air-pollution-and-health-effects-molecular-and-integrative-toxicology-paperback-bog&class=scaled&v=1583919153)
![Cover for Hong Cheng · Sparse Representation, Modeling and Learning in Visual Recognition: Theory, Algorithms and Applications - Advances in Computer Vision and Pattern Recognition (Paperback Bog) [Softcover reprint of the original 1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/512/9781447172512.jpg?hong-cheng-2016-sparse-representation-modeling-and-learning-in-visual-recognition-theory-algorithms-and-applications-advances-in-computer-vision-and-pattern-recognition-paperback-bog&class=scaled&v=1499119678)
![Cover for Creativity and Innovation Among Science and Art: A Discussion of the Two Cultures (Paperback Bog) [Softcover reprint of the original 1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/013/9781447170013.jpg?2016-creativity-and-innovation-among-science-and-art-a-discussion-of-the-two-cultures-paperback-bog&class=scaled&v=1563544342)
![Cover for Environmental Epigenetics - Molecular and Integrative Toxicology (Paperback Bog) [Softcover reprint of the original 1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/581/9781447172581.jpg?2016-environmental-epigenetics-molecular-and-integrative-toxicology-paperback-bog&class=scaled&v=1481113952)
![Cover for Bernardo Ruggeri · BioH2 & BioCH4 Through Anaerobic Digestion: From Research to Full-scale Applications - Green Energy and Technology (Paperback Bog) [Softcover reprint of the original 1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/833/9781447169833.jpg?bernardo-ruggeri-2016-bioh2-bioch4-through-anaerobic-digestion-from-research-to-full-scale-applications-green-energy-and-technology-paperback-bog&class=scaled&v=1553716432)
![Cover for Creativity in the Digital Age - Springer Series on Cultural Computing (Paperback Bog) [Softcover reprint of the original 1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/475/9781447172475.jpg?2016-creativity-in-the-digital-age-springer-series-on-cultural-computing-paperback-bog&class=scaled&v=1605447765)
![Cover for The Handbook of Service Innovation (Paperback Bog) [Softcover reprint of the original 1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/062/9781447172062.jpg?2016-the-handbook-of-service-innovation-paperback-bog&class=scaled&v=1487062915)
![Cover for Marina Axelson-Fisk · Comparative Gene Finding: Models, Algorithms and Implementation - Computational Biology (Paperback Bog) [Softcover reprint of the original 2nd ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/751/9781447168751.jpg?marina-axelson-fisk-2016-comparative-gene-finding-models-algorithms-and-implementation-computational-biology-paperback-bog&class=scaled&v=1496047970)
![Cover for Visual Heritage in the Digital Age - Springer Series on Cultural Computing (Paperback Bog) [Softcover reprint of the original 1st ed. 2013 edition] (2016)](https://imusic.b-cdn.net/images/item/original/822/9781447170822.jpg?2016-visual-heritage-in-the-digital-age-springer-series-on-cultural-computing-paperback-bog&class=scaled&v=1500208774)