この商品を友人に教える:
Formal Methods: State of the Art and New Directions Paul Boca 2010 edition
価格
¥ 16.417
税抜
遠隔倉庫からの取り寄せ
発送予定日 年11月27日 - 年12月9日
クリスマスプレゼントは1月31日まで返品可能です
Paul Boca の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加
Formal Methods: State of the Art and New Directions
Paul Boca
Through fundamental contributions from leading researchers, this volume describes the use of formal modeling methods in the areas of requirements, design and validation. The self-contained chapters provide readers with rich background information and a diverse breadth of specialist material.
273 pages, 1 black & white tables, biography
| メディア | 書籍 Paperback Book (ソフトカバーで背表紙を接着した本) |
| リリース済み | 2014年10月20日 |
| ISBN13 | 9781447157458 |
| 出版社 | Springer London Ltd |
| ページ数 | 273 |
| 寸法 | 155 × 235 × 16 mm · 421 g |
| 言語 | 英語 |
| 編集者 | Boca, Paul |
| 編集者 | Bowen, Jonathan P. |
| 編集者 | Siddiqi, Jawed |
![Cover for Michael Strupp · Ocular Motor Disorders and Vertigo: Diagnosis and Management (Paperback Book) [2023 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Handbook of Remote Biometrics: For Surveillance and Security - Advances in Computer Vision and Pattern Recognition (Hardcover Book) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/403/9781447173403.jpg?2027-handbook-of-remote-biometrics-for-surveillance-and-security-advances-in-computer-vision-and-pattern-recognition-hardcover-book&class=scaled&v=1692375324)
![Cover for Sandra Furterer · Lean Six Sigma for the Healthcare Enterprise: Methods, Tools and Applications (Hardcover Book) [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-hardcover-book&class=scaled&v=1777979326)
![Cover for Jose Bacelar Almeida · Rigorous Software Development: An Introduction to Program Verification - Undergraduate Topics in Computer Science (Paperback Book) [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-paperback-book&class=scaled&v=1759173936)
![Cover for Stephen Goundrey-Smith · Information Technology in Pharmacy: An Integrated Approach - Health Informatics (Hardcover Book) [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-hardcover-book&class=scaled&v=1778115485)
![Cover for Jon Peddie · The History of Visual Magic in Computers: How it led to AI (Paperback Book) [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-paperback-book&class=scaled&v=1751968510)
![Cover for M. A. Al-Gwaiz · Sturm–Liouville Theory and its Applications - Springer Undergraduate Mathematics Series (Paperback Book) [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-paperback-book&class=scaled&v=1760968453)
![Cover for Robert D. Crapnell · The Handbook of Graphene Electrochemistry (Paperback Book) [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-paperback-book&class=scaled&v=1760728041)
![Cover for John Vince · Mathematics for Computer Graphics - Undergraduate Topics in Computer Science (Paperback Book) [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-book&class=scaled&v=1735144367)
![Cover for Raul Poler · Operations Research Problems: Statements and Solutions (Hardcover Book) [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-hardcover-book&class=scaled&v=1735155141)
![Cover for Nigel Cross · Designerly Ways of Knowing and Thinking (Hardcover Book) [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-hardcover-book&class=scaled&v=1750950288)
![Cover for Robert D. Crapnell · The Handbook of Graphene Electrochemistry (Hardcover Book) [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-hardcover-book&class=scaled&v=1758025341)
![Cover for Marco Cantamessa · Management of Innovation and Product Development: Integrating Business and Technological Perspectives (Paperback Book) [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-paperback-book&class=scaled&v=1749948978)
![Cover for Wolfgang Aigner · Visualization of Time-Oriented Data - Human–Computer Interaction Series (Hardcover Book) [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-hardcover-book&class=scaled&v=1670069382)
![Cover for Wolfgang Aigner · Visualization of Time-Oriented Data - Human–Computer Interaction Series (Paperback Book) [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-paperback-book&class=scaled&v=1694243460)
![Cover for Hoang Pham · Springer Handbook of Engineering Statistics - Springer Handbooks (Hardcover Book) [Second Edition 2023 edition] (2023)](https://imusic.b-cdn.net/images/item/original/025/9781447175025.jpg?hoang-pham-2023-springer-handbook-of-engineering-statistics-springer-handbooks-hardcover-book&class=scaled&v=1694227221)
![Cover for Marco Cantamessa · Management of Innovation and Product Development: Integrating Business and Technological Perspectives (Hardcover Book) [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-hardcover-book&class=scaled&v=1680524706)
![Cover for Tomayess Issa · Sustainable Design: HCI, Usability and Environmental Concerns (Paperback Book) [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-paperback-book&class=scaled&v=1694231226)
![Cover for John Vince · Quaternions for Computer Graphics (Paperback Book) [Second Edition 2021 edition] (2022)](https://imusic.b-cdn.net/images/item/original/117/9781447175117.jpg?john-vince-2022-quaternions-for-computer-graphics-paperback-book&class=scaled&v=1694731004)
![Cover for John Vince · Vector Analysis for Computer Graphics (Paperback Book) [Second Edition 2021 edition] (2022)](https://imusic.b-cdn.net/images/item/original/070/9781447175070.jpg?john-vince-2022-vector-analysis-for-computer-graphics-paperback-book&class=scaled&v=1654415260)
![Cover for Siegfried Bosch · Algebraic Geometry and Commutative Algebra - Universitext (Paperback Book) [Second Edition 2022 edition] (2022)](https://imusic.b-cdn.net/images/item/original/223/9781447175223.jpg?siegfried-bosch-2022-algebraic-geometry-and-commutative-algebra-universitext-paperback-book&class=scaled&v=1694650369)
![Cover for Case-Based Clinical Cardiology (Paperback Book) [2021 edition] (2022)](https://imusic.b-cdn.net/images/item/original/981/9781447174981.jpg?2022-case-based-clinical-cardiology-paperback-book&class=scaled&v=1749418573)
![Cover for Golshan Latifi · In Vivo Confocal Microscopy in Eye Disease (Paperback Book) [2022 edition] (2022)](https://imusic.b-cdn.net/images/item/original/162/9781447175162.jpg?golshan-latifi-2022-in-vivo-confocal-microscopy-in-eye-disease-paperback-book&class=scaled&v=1749984718)
![Cover for Tomayess Issa · Sustainable Design: HCI, Usability and Environmental Concerns (Hardcover Book) [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-hardcover-book&class=scaled&v=1646023933)
![Cover for John Vince · Quaternions for Computer Graphics (Hardcover Book) [Second Edition 2021 edition] (2021)](https://imusic.b-cdn.net/images/item/original/087/9781447175087.jpg?john-vince-2021-quaternions-for-computer-graphics-hardcover-book&class=scaled&v=1625428011)
![Cover for Bone Tumors: Diagnosis and Therapy Today (Hardcover Book) [1st ed. 2021 edition] (2021)](https://imusic.b-cdn.net/images/item/original/998/9781447174998.jpg?2021-bone-tumors-diagnosis-and-therapy-today-hardcover-book&class=scaled&v=1615222868)
![Cover for Case-Based Clinical Cardiology (Hardcover Book) [2021 edition] (2021)](https://imusic.b-cdn.net/images/item/original/950/9781447174950.jpg?2021-case-based-clinical-cardiology-hardcover-book&class=scaled&v=1609102883)
![Cover for Subhes C. Bhattacharyya · Energy Economics: Concepts, Issues, Markets and Governance (Paperback Book) [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-paperback-book&class=scaled&v=1608767777)
![Cover for Ke-Lin Du · Neural Networks and Statistical Learning (Paperback Book) [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-paperback-book&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 (Paperback Book) [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-paperback-book&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 (Paperback Book) [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-paperback-book&class=scaled&v=1612142376)
![Cover for Web Accessibility: A Foundation for Research - Human–Computer Interaction Series (Paperback Book) [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-paperback-book&class=scaled&v=1615230958)