Recomienda este artículo a tus amigos:
Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings - Lecture Notes in Computer Science 1st ed. 2021 edition
Precio
Mex$ 2.019
sin IVA
Pedido desde almacén remoto
Entrega prevista 6 - 16 de jul.
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings - Lecture Notes in Computer Science
This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021. The 43 full papers presented together with 4 invited presentations were carefully reviewed and selected from 131 submissions.
800 pages, 159 Illustrations, color; 119 Illustrations, black and white; XVII, 800 p. 278 illus., 15
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 10 de noviembre de 2021 |
| ISBN13 | 9783030908690 |
| Editores | Springer Nature Switzerland AG |
| Páginas | 800 |
| Dimensiones | 150 × 220 × 10 mm · 1,23 kg |
| Lengua | Alemán |
| Editor | Huisman, Marieke |
| Editor | Pasareanu, Corina |
| Editor | Zhan, Naijun |
![Cover for Matthew Harker · Fractional Differential Equations: Numerical Methods for Applications - Studies in Systems, Decision and Control (Hardcover Book) [2021 edition] (2027)](https://imusic.b-cdn.net/images/item/original/769/9783030323769.jpg?matthew-harker-2027-fractional-differential-equations-numerical-methods-for-applications-studies-in-systems-decision-and-control-hardcover-book&class=scaled&v=1604147403)
![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] (2027)](https://imusic.b-cdn.net/images/item/original/787/9783032040787.jpg?t-s-venkatesh-2027-strength-of-materials-volume-ii-for-mechanical-production-civil-construction-automobile-marine-and-chemical-engineering-branches-hardcover-book&class=scaled&v=1778117433)
![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 Russell K. Hobbie · Intermediate Physics for Medicine and Biology (Hardcover Book) [Sixth Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/216/9783032263216.jpg?russell-k-hobbie-2026-intermediate-physics-for-medicine-and-biology-hardcover-book&class=scaled&v=1780442726)
![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)