Recomienda este artículo a tus amigos:
FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings - Lecture Notes in Computer Science Dimitra Giannakopoulou 2012 edition
Precio
Mex$ 959
sin IVA
Pedido desde almacén remoto
Entrega prevista 4 - 14 de ago.
Recibe notificaciones sobre nuevos lanzamientos de Dimitra Giannakopoulou
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings - Lecture Notes in Computer Science
Dimitra Giannakopoulou
The papers cover several aspects of formal methods, including verification, synthesis, runtime monitoring, testing and controller synthesis, as well as novel applications of formal methods in interesting domains such as satellites, autonomous vehicles and disease dynamics.
488 pages, 142 black & white illustrations, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 21 de julio de 2012 |
| ISBN13 | 9783642327582 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Género | Aspects (Academic) > Science / Technology Aspects |
| Páginas | 488 |
| Dimensiones | 155 × 235 × 25 mm · 703 g |
| Lengua | Alemán |
| Editor | Giannakopoulou, Dimitra |
| Editor | Mery, Dominique |
Mas por Dimitra Giannakopoulou
Mostrar todo![Cover for Dimitra Giannakopoulou · Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers - Lecture Notes in Computer Science (Paperback Book) [2014 edition] (2014)](https://imusic.b-cdn.net/images/item/original/536/9783319121536.jpg?dimitra-giannakopoulou-2014-verified-software-theories-tools-and-experiments-6th-international-conference-vstte-2014-vienna-austria-july-17-18-2014-revised-selected-papers-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1419960855)
![Cover for Dimitra Giannakopoulou · Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings - Programming and Software Engineering (Paperback Book) [2014 edition] (2014)](https://imusic.b-cdn.net/images/item/original/300/9783319104300.jpg?dimitra-giannakopoulou-2014-software-engineering-and-formal-methods-12th-international-conference-sefm-2014-grenoble-france-september-1-5-2014-proceedings-programming-and-software-engineering-paperback-book&class=scaled&v=1524928013)
Más del mismo editor
![Cover for Beatrix Troger · Steuerstandort Großbritannien: Grundlagen und Praxis des britischen Steuerrechts (Paperback Book) [2. Auflage 2025 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Handbuch Unternehmensorganisation: Strategien, Planung, Umsetzung (Book) [4. Auflage 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/290/9783642420290.jpg?2026-handbuch-unternehmensorganisation-strategien-planung-umsetzung-book&class=scaled&v=1779860172)
![Cover for Jean Paul · Jean Pauls Samtliche Werke. Historisch-kritische Ausgabe: Zweite Abteilung. Band 10.3: Satiren und Ironien. Kommentar (Hardcover Book) [1. Aufl. 2025 edition] (2026)](https://imusic.b-cdn.net/images/item/original/229/9783740012229.jpg?jean-paul-2026-jean-pauls-samtliche-werke-historisch-kritische-ausgabe-zweite-abteilung-band-10-3-satiren-und-ironien-kommentar-hardcover-book&class=scaled&v=1606304271)
![Cover for Kyrill-Alexander Schwarz · Praxishandbuch Landesstaatsorganisationsrecht (Hardcover Book) [1. Aufl. 2025 edition] (2026)](https://imusic.b-cdn.net/images/item/original/355/9783642253355.jpg?kyrill-alexander-schwarz-2026-praxishandbuch-landesstaatsorganisationsrecht-hardcover-book&class=scaled&v=1408485129)
![Cover for Karlheinz Schuffler · Musical Scales and their Mathematics - Mathematics Study Resources (Paperback Book) [2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/401/9783662695401.jpg?karlheinz-schuffler-2026-musical-scales-and-their-mathematics-mathematics-study-resources-paperback-book&class=scaled&v=1735177753)
![Cover for Albrecht Beutelspacher · Modern Cryptography: From RSA to Zero-Knowledge and Beyond - Mathematics Study Resources (Paperback Book) [2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/420/9783662674420.jpg?albrecht-beutelspacher-2026-modern-cryptography-from-rsa-to-zero-knowledge-and-beyond-mathematics-study-resources-paperback-book&class=scaled&v=1688517177)
![Cover for Franz Kronthaler · Data Analysis with RStudio: An Easygoing Introduction (Paperback Book) [Second rev. and enl. Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/434/9783662732434.jpg?franz-kronthaler-2026-data-analysis-with-rstudio-an-easygoing-introduction-paperback-book&class=scaled&v=1778114467)
![Cover for Imaging of Bone Tumors and Tumor-Like Lesions: Techniques and Applications - Medical Radiology (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/141/9783662733141.jpg?2026-imaging-of-bone-tumors-and-tumor-like-lesions-techniques-and-applications-medical-radiology-hardcover-book&class=scaled&v=1775079856)
![Cover for Dieter Schramm · Vehicle Dynamics: Modeling and Simulation (Hardcover Book) [Third Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/166/9783662723166.jpg?dieter-schramm-2026-vehicle-dynamics-modeling-and-simulation-hardcover-book&class=scaled&v=1774297528)
Ver todo de Dimitra Giannakopoulou ( Ej. Paperback Book )