この商品を友人に教える:
Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings - Lecture Notes in Computer Science 1st ed. 2022 edition
価格
¥ 8.681
税抜
遠隔倉庫からの取り寄せ
発送予定日 年10月19日 - 年10月29日
iMusicのウィッシュリストに追加
Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings - Lecture Notes in Computer Science
The papers cover for research in all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.
440 pages, 76 Illustrations, color; 504 Illustrations, black and white; XV, 440 p. 580 illus., 76 il
| メディア | 書籍 Paperback Book (ソフトカバーで背表紙を接着した本) |
| リリース済み | 2022年10月10日 |
| ISBN13 | 9783031172434 |
| 出版社 | Springer International Publishing AG |
| ページ数 | 440 |
| 寸法 | 150 × 220 × 10 mm · 700 g |
| 言語 | ドイツ語 |
| 編集者 | Riesco, Adrian |
| 編集者 | Zhang, Min |
![Cover for Keren Epstein-Gilboa · The Breastfeeding Relationship and Children’s Social and Emotional Development (Hardcover Book) [2025 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Transmission Electron Microscopy: The Companion Volume (Paperback Book) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/916/9783031807916.jpg?2027-transmission-electron-microscopy-the-companion-volume-paperback-book&class=scaled&v=1780320082)
![Cover for Christopher M. Brown · The Democratization of Cuba (Hardcover Book) [2022 edition] (2027)](https://imusic.b-cdn.net/images/item/original/523/9783319660523.jpg?christopher-m-brown-2027-the-democratization-of-cuba-hardcover-book&class=scaled&v=1594018037)
![Cover for Interventional Oncology: A Multidisciplinary Approach to Image-Guided Cancer Therapy (Hardcover Book) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/612/9783031497612.jpg?2027-interventional-oncology-a-multidisciplinary-approach-to-image-guided-cancer-therapy-hardcover-book&class=scaled&v=1788188382)
![Cover for T. S. Venkatesh · Strength of Materials: Volume I: Concepts, Problems & Solutions (Hardcover Book) [Second Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/846/9783031955846.jpg?t-s-venkatesh-2026-strength-of-materials-volume-i-concepts-problems-solutions-hardcover-book&class=scaled&v=1778114493)
![Cover for Ram S. Jakhu · Sustainable Development in South Asia: The Role of Space Technologies, Laws and Policies - Space and Society (Hardcover Book) [2025 edition] (2026)](https://imusic.b-cdn.net/images/item/original/620/9783031713620.jpg?ram-s-jakhu-2026-sustainable-development-in-south-asia-the-role-of-space-technologies-laws-and-policies-space-and-society-hardcover-book&class=scaled&v=1788186816)
![Cover for Keratoprostheses: Overcoming Corneal Blindness (Hardcover Book) [2025 edition] (2026)](https://imusic.b-cdn.net/images/item/original/906/9783031770906.jpg?2026-keratoprostheses-overcoming-corneal-blindness-hardcover-book&class=scaled&v=1774452309)
![Cover for Peter C. Hill · Measures of Religiosity and Spirituality (Book) [2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/431/9783031483431.jpg?peter-c-hill-2026-measures-of-religiosity-and-spirituality-book&class=scaled&v=1780099572)
![Cover for Regional Metallogenic Analysis, Resources Targeting and Assessment - Modern Approaches in Solid Earth Sciences (Hardcover Book) [2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/860/9783031575860.jpg?2026-regional-metallogenic-analysis-resources-targeting-and-assessment-modern-approaches-in-solid-earth-sciences-hardcover-book&class=scaled&v=1788186814)
