Tell your friends about this item:
Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings - Lecture Notes in Computer Science Einar Broch Johnsen 2013 edition
Price
$ 54.99
excl. VAT
Ordered from remote warehouse
Expected to be ready for shipping Jul 27 - 31
Get notified about new Einar Broch Johnsen releases
Our customers say:
Add to your iMusic wish list
Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings - Lecture Notes in Computer Science
Einar Broch Johnsen
This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013. The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions.
460 pages, 95 black & white illustrations, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | May 24, 2013 |
| ISBN13 | 9783642386121 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 443 |
| Dimensions | 155 × 235 × 23 mm · 639 g |
| Language | German |
| Editor | Johnsen, Einar Broch |
| Editor | Petre, Luigia |
![Cover for Dieter Frey · Mitarbeiterfuhrung in der Wissenschaft: 100 Fragen - 100 Antworten fur die Praxis (Paperback Book) [1. Aufl. 2025 edition] (2028)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Ines Hartel · Einfuhrung in das Klimaschutzrecht: Klimaschutz durch wohlgeordnetes Recht? (Paperback Book) [1. Aufl. 2025 edition] (2027)](https://imusic.b-cdn.net/images/item/original/461/9783540887461.jpg?ines-hartel-2027-einfuhrung-in-das-klimaschutzrecht-klimaschutz-durch-wohlgeordnetes-recht-paperback-book&class=scaled&v=1569154171)
![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 Georg Glaeser · A Mathematical Picture Book (Hardcover Book) [1st ed. 2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/473/9783642146473.jpg?georg-glaeser-2026-a-mathematical-picture-book-hardcover-book&class=scaled&v=1592396260)
![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 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 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 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)
