Recomienda este artículo a tus amigos:
Leveraging Applications of Formal Methods Verification and Validation Verifica 1st ed. 2018 edition
Precio
$ 55,99
sin IVA
Pedido desde almacén remoto
Entrega prevista 17 - 30 de jun.
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
Leveraging Applications of Formal Methods Verification and Validation Verifica
The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018.
496 pages, 85 Illustrations, color; 255 Illustrations, black and white; XIII, 496 p. 340 illus., 85
| Medios de comunicación | Libros Book |
| Publicado | 30 de octubre de 2018 |
| ISBN13 | 9783030034207 |
| Editores | Springer Nature Switzerland AG |
| Páginas | 496 |
| Dimensiones | 150 × 220 × 20 mm · 768 g |
| Lengua | Alemán |
| Editor | Margaria, Tiziana |
| Editor | Steffen, Bernhard |
![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 Ø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 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 Joachim Stohr · The Nature of X-Rays and Their Interactions with Matter—Volume II: Beyond Semi-Classical Concepts - Springer Tracts in Modern Physics (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/335/9783032076335.jpg?joachim-stohr-2026-the-nature-of-x-rays-and-their-interactions-with-matter-volume-ii-beyond-semi-classical-concepts-springer-tracts-in-modern-physics-hardcover-book&class=scaled&v=1774350673)
![Cover for Stanley J. Miklavcic · An Illustrative Guide to Multivariable and Vector Calculus (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/177/9783032126177.jpg?stanley-j-miklavcic-2026-an-illustrative-guide-to-multivariable-and-vector-calculus-hardcover-book&class=scaled&v=1768947045)
