Powiedz znajomym o tym przedmiocie:
Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings - Communications in Computer and Information Science 2008 edition
Tiziana Margaria
Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings - Communications in Computer and Information Science 2008 edition
Tiziana Margaria
Constitutes the refereed proceedings of the Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Porto Sani, Greece, in October 2008. This book covers tools and applications in industrial software quality control.
883 pages, biography
Media | Książki Paperback Book (Książka z miękką okładką i klejonym grzbietem) |
Wydane | 14 października 2008 |
ISBN13 | 9783540884781 |
Wydawcy | Springer-Verlag Berlin and Heidelberg Gm |
Strony | 869 |
Wymiary | 155 × 235 × 33 mm · 1,22 kg |
Język | French |
Redaktor | Margaria, Tiziana |
Redaktor | Steffen, Bernhard |
Pokaż wszystko
Więcej od Tiziana Margaria
Zobacz wszystko od Tiziana Margaria ( np. Paperback Book )