Tell your friends about this item:
Fundamentals of Software Engineering: Fourth International IPM Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers - Programming and Software Engineering Farhad Arbab 2012 edition
Price
$ 54.99
excl. VAT
Ordered from remote warehouse
Expected to be ready for shipping Jul 22 - 28
Get notified about new Farhad Arbab releases
Our customers say:
Add to your iMusic wish list
Fundamentals of Software Engineering: Fourth International IPM Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers - Programming and Software Engineering
Farhad Arbab
The papers are organized in topical section on models of programs and systems, software specification, validation and verification, software architectures and their description languages, object and multi-agent systems, CASE tools and tool integration, model checking and theorem proving, and Integration of different formal methods.
392 pages, 90 black & white illustrations, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | April 5, 2012 |
| ISBN13 | 9783642293191 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 377 |
| Dimensions | 155 × 235 × 20 mm · 548 g |
| Language | German |
| Editor | Arbab, Farhad |
| Editor | Sirjani, Marjan |
More by Farhad Arbab
Show all![Cover for Farhad Arbab · Fundamentals of Software Engineering: 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers - Programming and Software Engineering (Paperback Book) [2013 edition] (2013)](https://imusic.b-cdn.net/images/item/original/128/9783642402128.jpg?farhad-arbab-2013-fundamentals-of-software-engineering-5th-international-conference-fsen-2013-tehran-iran-april-24-26-2013-revised-selected-papers-programming-and-software-engineering-paperback-book&class=scaled&v=1605099497)
![Cover for Farhad Arbab · Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers - Lecture Notes in Computer Science (Paperback Book) [2012 edition] (2012)](https://imusic.b-cdn.net/images/item/original/428/9783642357428.jpg?farhad-arbab-2012-formal-aspects-of-component-software-8th-international-symposium-facs-2011-oslo-norway-september-14-16-2011-revised-selected-papers-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1603969967)
More from the same publisher
![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 Farhad Arbab ( e.g. Paperback Book )