
Conte aos seus amigos sobre este item:
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
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
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 5 de abril de 2012 |
ISBN13 | 9783642293191 |
Editoras | Springer-Verlag Berlin and Heidelberg Gm |
Páginas | 377 |
Dimensões | 155 × 235 × 20 mm · 548 g |
Idioma | German |
Editor | Arbab, Farhad |
Editor | Sirjani, Marjan |