Tell your friends about this item:
Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings - Programming and Software Engineering Dimitra Giannakopoulou 2014 edition
Price
$ 55.49
excl. VAT
Ordered from remote warehouse
Expected to be ready for shipping Jun 30 - Jul 6
Our customers say:
Add to your iMusic wish list
Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings - Programming and Software Engineering
Dimitra Giannakopoulou
This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Grenoble, France, in September 2014. The 23 full papers presented together with 3 invited and 6 tool papers were carefully reviewed and selected from 106 submissions.
416 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | August 4, 2014 |
| ISBN13 | 9783319104300 |
| Publishers | Springer International Publishing AG |
| Pages | 394 |
| Dimensions | 155 × 235 × 22 mm · 580 g |
| Language | German |
| Editor | Giannakopoulou, Dimitra |
| Editor | Salaun, Gwen |
More by Dimitra Giannakopoulou
Show all![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 · FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings - Lecture Notes in Computer Science (Paperback Book) [2012 edition] (2012)](https://imusic.b-cdn.net/images/item/original/582/9783642327582.jpg?dimitra-giannakopoulou-2012-fm-2012-formal-methods-18th-international-symposium-paris-france-august-27-31-2012-proceedings-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1605102080)
Mere med samme udgiver
![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 T. S. Venkatesh · Strength of Materials: Volume I: Concepts, Problems & Solutions (Hardcover Book) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/846/9783031955846.jpg?t-s-venkatesh-2027-strength-of-materials-volume-i-concepts-problems-solutions-hardcover-book&class=scaled&v=1778114493)
![Cover for Christopher M. Brown · The Democratization of Cuba (Hardcover Book) [2022 edition] (2026)](https://imusic.b-cdn.net/images/item/original/523/9783319660523.jpg?christopher-m-brown-2026-the-democratization-of-cuba-hardcover-book&class=scaled&v=1594018037)
![Cover for Simone Cerreia-Vioglio · Principles of Mathematics for Economics (Paperback Book) [1st ed. 2017 edition] (2026)](https://imusic.b-cdn.net/images/item/original/131/9783319447131.jpg?simone-cerreia-vioglio-2026-principles-of-mathematics-for-economics-paperback-book&class=scaled&v=1606717221)
![Cover for Eva Maria Javier Delmo · Transplantation Medicine and Organ Donation in Germany: The Medical, Legal, Organizational and Ethical Frameworks (Hardcover Book) [2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/413/9783031494413.jpg?eva-maria-javier-delmo-2026-transplantation-medicine-and-organ-donation-in-germany-the-medical-legal-organizational-and-ethical-frameworks-hardcover-book&class=scaled&v=1728706992)
![Cover for Neculai Andrei · Modern Numerical Nonlinear Optimization - Springer Optimization and Its Applications (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/936/9783031946936.jpg?neculai-andrei-2026-modern-numerical-nonlinear-optimization-springer-optimization-and-its-applications-hardcover-book&class=scaled&v=1774528650)
![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 Patricio Aroca · Regional Business Cycles in Mexico, Brazil, and Chile: A Sub-National Analysis of Economic Fluctuations - SpringerBriefs in Regional Science (Paperback Book) [2022 edition] (2026)](https://imusic.b-cdn.net/images/item/original/658/9783319988658.jpg?patricio-aroca-2026-regional-business-cycles-in-mexico-brazil-and-chile-a-sub-national-analysis-of-economic-fluctuations-springerbriefs-in-regional-science-paperback-book&class=scaled&v=1546500016)
![Cover for Daniel Schatz · Sweden’s Relations with Israel and the Palestinians: An Untold History (Hardcover Book) [2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/321/9783031720321.jpg?daniel-schatz-2026-sweden-s-relations-with-israel-and-the-palestinians-an-untold-history-hardcover-book&class=scaled&v=1774494645)
![Cover for Monica Catherine O'Brien · Understanding and Responding to the French Pox in Frankfurt am Main and Nuremberg, 1495–1700: Contagion, Practicality, and Morality - Palgrave Studies in Medieval and Early Modern Medicine (Hardcover Book) [2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/244/9783031469244.jpg?monica-catherine-o-brien-2026-understanding-and-responding-to-the-french-pox-in-frankfurt-am-main-and-nuremberg-1495-1700-contagion-practicality-and-morality-palgrave-studies-in-medieval-and-early-modern-medicine-hardcover-book&class=scaled&v=1780034060)
See all of Dimitra Giannakopoulou ( e.g. Paperback Book )