Tipsa dina vänner om produkten:
Software Specification Methods: An Overview Using a Case Study - Formal Approaches to Computing and Information Technology (FACIT) Henri Habrias Softcover reprint of the original 1st ed. 2001 edition
Pris
SEK 1.079
Beställningsvara
Förväntad leverans 16 - 24 jul
Lägg till din iMusic-önskelista
eller
Software Specification Methods: An Overview Using a Case Study - Formal Approaches to Computing and Information Technology (FACIT)
Henri Habrias
Software Specification Methods provides the formal methods practitioner with a survey of the key software specification methods. This book is intended for industrial and commercial practitioners who need to expand their knowledge of software specification methods.
282 pages, 7 black & white illustrations, biography
| Media | Böcker Pocketbok (Bok med mjukt omslag och limmad rygg) |
| Releasedatum | 16 oktober 2000 |
| ISBN13 | 9781852333539 |
| Utgivare | Springer London Ltd |
| Antal sidor | 282 |
| Mått | 155 × 235 × 16 mm · 489 g |
| Språk | Engelska |
| Redaktör | Frappier, Marc |
| Redaktör | Habrias, Henri |
![Cover for Sandra Furterer · Lean Six Sigma for the Healthcare Enterprise: Methods, Tools and Applications (Inbunden Bok) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/169/9781447176169.jpg?sandra-furterer-2026-lean-six-sigma-for-the-healthcare-enterprise-methods-tools-and-applications-inbunden-bok&class=scaled&v=1777979326)
![Cover for Jose Bacelar Almeida · Rigorous Software Development: An Introduction to Program Verification - Undergraduate Topics in Computer Science (Pocketbok) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/575/9781447175575.jpg?jose-bacelar-almeida-2026-rigorous-software-development-an-introduction-to-program-verification-undergraduate-topics-in-computer-science-pocketbok&class=scaled&v=1759173936)
![Cover for Stephen Goundrey-Smith · Information Technology in Pharmacy: An Integrated Approach - Health Informatics (Inbunden Bok) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/121/9781447176121.jpg?stephen-goundrey-smith-2026-information-technology-in-pharmacy-an-integrated-approach-health-informatics-inbunden-bok&class=scaled&v=1778115485)
![Cover for Jon Peddie · The History of Visual Magic in Computers: How it led to AI (Pocketbok) [Second Edition 2025 edition] (2026)](https://imusic.b-cdn.net/images/item/original/520/9781447175520.jpg?jon-peddie-2026-the-history-of-visual-magic-in-computers-how-it-led-to-ai-pocketbok&class=scaled&v=1751968510)
![Cover for M. A. Al-Gwaiz · Sturm–Liouville Theory and its Applications - Springer Undergraduate Mathematics Series (Pocketbok) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/091/9781447176091.jpg?m-a-al-gwaiz-2026-sturm-liouville-theory-and-its-applications-springer-undergraduate-mathematics-series-pocketbok&class=scaled&v=1760968453)
![Cover for Robert D. Crapnell · The Handbook of Graphene Electrochemistry (Pocketbok) [Second Edition 2024 edition] (2025)](https://imusic.b-cdn.net/images/item/original/384/9781447175384.jpg?robert-d-crapnell-2025-the-handbook-of-graphene-electrochemistry-pocketbok&class=scaled&v=1760728041)
![Cover for John Vince · Mathematics for Computer Graphics - Undergraduate Topics in Computer Science (Pocketbok) [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-pocketbok&class=scaled&v=1735144367)
![Cover for Raul Poler · Operations Research Problems: Statements and Solutions (Inbunden Bok) [Second Edition 2025 edition] (2025)](https://imusic.b-cdn.net/images/item/original/452/9781447175452.jpg?raul-poler-2025-operations-research-problems-statements-and-solutions-inbunden-bok&class=scaled&v=1735155141)
![Cover for Nigel Cross · Designerly Ways of Knowing and Thinking (Inbunden Bok) [Second Edition 2025 edition] (2024)](https://imusic.b-cdn.net/images/item/original/407/9781447175407.jpg?nigel-cross-2024-designerly-ways-of-knowing-and-thinking-inbunden-bok&class=scaled&v=1750950288)
![Cover for Robert D. Crapnell · The Handbook of Graphene Electrochemistry (Inbunden Bok) [Second Edition 2024 edition] (2024)](https://imusic.b-cdn.net/images/item/original/353/9781447175353.jpg?robert-d-crapnell-2024-the-handbook-of-graphene-electrochemistry-inbunden-bok&class=scaled&v=1758025341)
![Cover for Marco Cantamessa · Management of Innovation and Product Development: Integrating Business and Technological Perspectives (Pocketbok) [Second Edition 2023 edition] (2024)](https://imusic.b-cdn.net/images/item/original/339/9781447175339.jpg?marco-cantamessa-2024-management-of-innovation-and-product-development-integrating-business-and-technological-perspectives-pocketbok&class=scaled&v=1749948978)
![Cover for Wolfgang Aigner · Visualization of Time-Oriented Data - Human–Computer Interaction Series (Inbunden Bok) [2nd ed. 2023 edition] (2023)](https://imusic.b-cdn.net/images/item/original/261/9781447175261.jpg?wolfgang-aigner-2023-visualization-of-time-oriented-data-human-computer-interaction-series-inbunden-bok&class=scaled&v=1670069382)
![Cover for Wolfgang Aigner · Visualization of Time-Oriented Data - Human–Computer Interaction Series (Pocketbok) [2nd ed. 2023 edition] (2023)](https://imusic.b-cdn.net/images/item/original/292/9781447175292.jpg?wolfgang-aigner-2023-visualization-of-time-oriented-data-human-computer-interaction-series-pocketbok&class=scaled&v=1694243460)
![Cover for Hoang Pham · Springer Handbook of Engineering Statistics - Springer Handbooks (Inbunden Bok) [2nd ed. 2023 edition] (2023)](https://imusic.b-cdn.net/images/item/original/025/9781447175025.jpg?hoang-pham-2023-springer-handbook-of-engineering-statistics-springer-handbooks-inbunden-bok&class=scaled&v=1694227221)
![Cover for Marco Cantamessa · Management of Innovation and Product Development: Integrating Business and Technological Perspectives (Inbunden Bok) [Second Edition 2023 edition] (2023)](https://imusic.b-cdn.net/images/item/original/308/9781447175308.jpg?marco-cantamessa-2023-management-of-innovation-and-product-development-integrating-business-and-technological-perspectives-inbunden-bok&class=scaled&v=1680524706)
![Cover for Tomayess Issa · Sustainable Design: HCI, Usability and Environmental Concerns (Pocketbok) [Second Edition 2022 edition] (2023)](https://imusic.b-cdn.net/images/item/original/155/9781447175155.jpg?tomayess-issa-2023-sustainable-design-hci-usability-and-environmental-concerns-pocketbok&class=scaled&v=1694231226)
![Cover for John Vince · Quaternions for Computer Graphics (Pocketbok) [Second Edition 2021 edition] (2022)](https://imusic.b-cdn.net/images/item/original/117/9781447175117.jpg?john-vince-2022-quaternions-for-computer-graphics-pocketbok&class=scaled&v=1694731004)
![Cover for John Vince · Vector Analysis for Computer Graphics (Pocketbok) [Second Edition 2021 edition] (2022)](https://imusic.b-cdn.net/images/item/original/070/9781447175070.jpg?john-vince-2022-vector-analysis-for-computer-graphics-pocketbok&class=scaled&v=1654415260)
![Cover for Siegfried Bosch · Algebraic Geometry and Commutative Algebra - Universitext (Pocketbok) [2nd ed. 2022 edition] (2022)](https://imusic.b-cdn.net/images/item/original/223/9781447175223.jpg?siegfried-bosch-2022-algebraic-geometry-and-commutative-algebra-universitext-pocketbok&class=scaled&v=1694650369)
![Cover for Case-Based Clinical Cardiology (Pocketbok) [2021 edition] (2022)](https://imusic.b-cdn.net/images/item/original/981/9781447174981.jpg?2022-case-based-clinical-cardiology-pocketbok&class=scaled&v=1749418573)
![Cover for Golshan Latifi · In Vivo Confocal Microscopy in Eye Disease (Pocketbok) [2022 edition] (2022)](https://imusic.b-cdn.net/images/item/original/162/9781447175162.jpg?golshan-latifi-2022-in-vivo-confocal-microscopy-in-eye-disease-pocketbok&class=scaled&v=1749984718)
![Cover for Tomayess Issa · Sustainable Design: HCI, Usability and Environmental Concerns (Inbunden Bok) [Second Edition 2022 edition] (2022)](https://imusic.b-cdn.net/images/item/original/124/9781447175124.jpg?tomayess-issa-2022-sustainable-design-hci-usability-and-environmental-concerns-inbunden-bok&class=scaled&v=1646023933)
![Cover for John Vince · Quaternions for Computer Graphics (Inbunden Bok) [Second Edition 2021 edition] (2021)](https://imusic.b-cdn.net/images/item/original/087/9781447175087.jpg?john-vince-2021-quaternions-for-computer-graphics-inbunden-bok&class=scaled&v=1625428011)
![Cover for Bone Tumors: Diagnosis and Therapy Today (Inbunden Bok) [1st ed. 2021 edition] (2021)](https://imusic.b-cdn.net/images/item/original/998/9781447174998.jpg?2021-bone-tumors-diagnosis-and-therapy-today-inbunden-bok&class=scaled&v=1615222868)
![Cover for Case-Based Clinical Cardiology (Inbunden Bok) [2021 edition] (2021)](https://imusic.b-cdn.net/images/item/original/950/9781447174950.jpg?2021-case-based-clinical-cardiology-inbunden-bok&class=scaled&v=1609102883)
![Cover for Subhes C. Bhattacharyya · Energy Economics: Concepts, Issues, Markets and Governance (Pocketbok) [Second Edition 2019 edition] (2020)](https://imusic.b-cdn.net/images/item/original/707/9781447174707.jpg?subhes-c-bhattacharyya-2020-energy-economics-concepts-issues-markets-and-governance-pocketbok&class=scaled&v=1608767777)
![Cover for Ke-Lin Du · Neural Networks and Statistical Learning (Pocketbok) [Second Edition 2019 edition] (2020)](https://imusic.b-cdn.net/images/item/original/547/9781447174547.jpg?ke-lin-du-2020-neural-networks-and-statistical-learning-pocketbok&class=scaled&v=1605482701)
![Cover for Jan-Erik Vinnem · Offshore Risk Assessment Vol. 1: Principles, Modelling and Applications of QRA Studies - Springer Series in Reliability Engineering (Pocketbok) [Fourth Edition 2020 edition] (2020)](https://imusic.b-cdn.net/images/item/original/462/9781447174462.jpg?jan-erik-vinnem-2020-offshore-risk-assessment-vol-1-principles-modelling-and-applications-of-qra-studies-springer-series-in-reliability-engineering-pocketbok&class=scaled&v=1694495642)
![Cover for Jan-Erik Vinnem · Offshore Risk Assessment Vol. 2: Principles, Modelling and Applications of QRA Studies - Springer Series in Reliability Engineering (Pocketbok) [Fourth Edition 2020 edition] (2020)](https://imusic.b-cdn.net/images/item/original/509/9781447174509.jpg?jan-erik-vinnem-2020-offshore-risk-assessment-vol-2-principles-modelling-and-applications-of-qra-studies-springer-series-in-reliability-engineering-pocketbok&class=scaled&v=1612142376)
![Cover for Web Accessibility: A Foundation for Research - Human–Computer Interaction Series (Pocketbok) [Second Edition 2019 edition] (2020)](https://imusic.b-cdn.net/images/item/original/424/9781447174424.jpg?2020-web-accessibility-a-foundation-for-research-human-computer-interaction-series-pocketbok&class=scaled&v=1615230958)
![Cover for Max Bramer · Principles of Data Mining - Undergraduate Topics in Computer Science (Pocketbok) [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-pocketbok&class=scaled&v=1589239471)
![Cover for Michael J. Grimble · Nonlinear Industrial Control Systems: Optimal Polynomial Systems and State-Space Approach (Inbunden Bok) [2020 edition] (2020)](https://imusic.b-cdn.net/images/item/original/554/9781447174554.jpg?michael-j-grimble-2020-nonlinear-industrial-control-systems-optimal-polynomial-systems-and-state-space-approach-inbunden-bok&class=scaled&v=1604323067)