Tell your friends about this item:
Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers - Lecture Notes in Computer Science Corina S Pasareanu 2013 edition
Price
$ 50.99
excl. VAT
Ordered from remote warehouse
Expected to be ready for shipping Jul 17 - 23
Our customers say:
Add to your iMusic wish list
Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers - Lecture Notes in Computer Science
Corina S Pasareanu
This book constitutes the revised selected papers of the 9th International Symposium on Formal Aspects of Component Software, FACS 2012, held in Mountain View, CA, USA in September 2012. formal methods and modeling languages for components and services;
288 pages, 72 black & white illustrations, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | January 9, 2013 |
| ISBN13 | 9783642358609 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 277 |
| Dimensions | 155 × 234 × 22 mm · 440 g |
| Language | German |
| Editor | Pasareanu, Corina S |
| Editor | Salaun, Gwen |
More by Corina S Pasareanu
Show all![Cover for Corina S Pasareanu · Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings - Theoretical Computer Science and General Issues (Paperback Book) [2009 edition] (2009)](https://imusic.b-cdn.net/images/item/original/515/9783642026515.jpg?corina-s-pasareanu-2009-model-checking-software-16th-international-spin-workshop-grenoble-france-june-26-28-2009-proceedings-theoretical-computer-science-and-general-issues-paperback-book&class=scaled&v=1611796280)
Mere med samme udgiver
![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 Handbuch Unternehmensorganisation: Strategien, Planung, Umsetzung (Book) [4. Auflage 2027 edition] (2027)](https://imusic.b-cdn.net/images/item/original/290/9783642420290.jpg?2027-handbuch-unternehmensorganisation-strategien-planung-umsetzung-book&class=scaled&v=1779860172)
![Cover for Junrui Liang · Piezoelectric Energy Harvesting Systems: Integrated Analysis and Implementation - Green Energy and Technology (Hardcover Book) [1st ed. 2017 edition] (2027)](https://imusic.b-cdn.net/images/item/original/025/9783662536025.jpg?junrui-liang-2027-piezoelectric-energy-harvesting-systems-integrated-analysis-and-implementation-green-energy-and-technology-hardcover-book&class=scaled&v=1514457757)
![Cover for Uwe Gotze · Kostenrechnung und Kostenmanagement (Paperback Book) [6., aktualisierte Auflage 2025 edition] (2027)](https://imusic.b-cdn.net/images/item/original/388/9783642332388.jpg?uwe-gotze-2027-kostenrechnung-und-kostenmanagement-paperback-book&class=scaled&v=1488023188)
![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 Multiple Sklerose: Klinik – Therapie – Patientenfuhrung (Hardcover Book) [1. Aufl. 2022 edition] (2027)](https://imusic.b-cdn.net/images/item/original/558/9783642229558.jpg?2027-multiple-sklerose-klinik-therapie-patientenfuhrung-hardcover-book&class=scaled&v=1510654586)
![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)
See all of Corina S Pasareanu ( e.g. Paperback Book )