Recomienda este artículo a tus amigos:
Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings - Lecture Notes in Computer Science 1st ed. 2020 edition
Precio
$ 60,99
sin IVA
Pedido desde almacén remoto
Entrega prevista 29 de jun. - 10 de jul.
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings - Lecture Notes in Computer Science
This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020. The 16 full papers presented together with 1 keynote talk and an abstract of a keynote talk were carefully reviewed and selected from 58 submissions.
325 pages, 63 Illustrations, color; 576 Illustrations, black and white; XIV, 325 p. 639 illus., 63 i
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 12 de septiembre de 2020 |
| ISBN13 | 9783030587673 |
| Editores | Springer Nature Switzerland AG |
| Páginas | 325 |
| Dimensiones | 150 × 220 × 10 mm · 522 g |
| Lengua | Alemán |
| Editor | Cerone, Antonio |
| Editor | De Boer, Frank |
![Cover for Jacqueline Kennelly · Citizen Youth: Culture, Activism, and Agency in a Neoliberal Era - Education, Politics and Public Life (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/796/9783032088796.jpg?jacqueline-kennelly-2026-citizen-youth-culture-activism-and-agency-in-a-neoliberal-era-education-politics-and-public-life-hardcover-book&class=scaled&v=1774523507)
![Cover for Breit, Dominic, Dr. · A Course on Function Spaces I: Continuous and Integrable Functions - Universitext (Paperback Book) [2022 edition] (2026)](https://imusic.b-cdn.net/images/item/original/422/9783030806422.jpg?breit-dominic-dr-2026-a-course-on-function-spaces-i-continuous-and-integrable-functions-universitext-paperback-book&class=scaled&v=1716780093)
![Cover for T. S. Venkatesh · Strength of Materials: Volume II: For Mechanical, Production, Civil, Construction, Automobile, Marine and Chemical Engineering Branches (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/787/9783032040787.jpg?t-s-venkatesh-2026-strength-of-materials-volume-ii-for-mechanical-production-civil-construction-automobile-marine-and-chemical-engineering-branches-hardcover-book&class=scaled&v=1778117433)
![Cover for Shimon P. Vingron · Logic Circuit Design: Selected Topics and Methods (Hardcover Book) [Third Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/528/9783032212528.jpg?shimon-p-vingron-2026-logic-circuit-design-selected-topics-and-methods-hardcover-book&class=scaled&v=1775079513)
![Cover for Øyvind Grøn · Einstein's General Theory of Relativity: With Modern Applications in Cosmology - Graduate Texts in Physics (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/588/9783032005588.jpg?oeyvind-groen-2026-einstein-s-general-theory-of-relativity-with-modern-applications-in-cosmology-graduate-texts-in-physics-hardcover-book&class=scaled&v=1778038948)
![Cover for Mehdi Rahmani-Andebili · Advanced Electrical Circuits Analysis: Practice Problems, Methods, and Solutions (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/898/9783032074898.jpg?mehdi-rahmani-andebili-2026-advanced-electrical-circuits-analysis-practice-problems-methods-and-solutions-hardcover-book&class=scaled&v=1761003881)
![Cover for Ke-Lin Du · Wireless Communication Systems: From Fundamentals to 6G - Signals and Communication Technology (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/938/9783032130938.jpg?ke-lin-du-2026-wireless-communication-systems-from-fundamentals-to-6g-signals-and-communication-technology-hardcover-book&class=scaled&v=1774415337)
![Cover for Mechanisms of Vascular Disease: A Textbook for Vascular Specialists (N/A) [Fourth Edition 2026 edition] (2026)](https://imusic-static.b-cdn.net/images/missing.png)