Fortell venner om denne varen:
Fundamentals of Software Engineering: Fourth International IPM Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers - Programming and Software Engineering 2012 edition
Farhad Arbab
Pris
NOK 559
Bestillingsvarer
Forventes levert 17. - 25. nov
Julegaver kan byttes frem til 31. januar
Legg til iMusic ønskeliste
eller
Fundamentals of Software Engineering: Fourth International IPM Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers - Programming and Software Engineering 2012 edition
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 | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 5. april 2012 |
| ISBN13 | 9783642293191 |
| Utgivere | Springer-Verlag Berlin and Heidelberg Gm |
| Antall sider | 377 |
| Mål | 155 × 235 × 20 mm · 548 g |
| Språk | Tysk |
| Redaktør | Arbab, Farhad |
| Redaktør | Sirjani, Marjan |
![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 (Pocketbok) [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-pocketbok&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 (Pocketbok) [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-pocketbok&class=scaled&v=1603969967)
