Tipsa dina vänner om produkten:
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I - Lecture Notes in Computer Science
Tiziana Margaria
Lägg till din iMusic-önskelista
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I - Lecture Notes in Computer Science
Tiziana Margaria
Constitutes the refereed proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2010, held in Heraklion, Crete, Greece, in October 2010.
708 pages, 220 black & white illustrations, biography
Media | Böcker Pocketbok (Bok med mjukt omslag och limmad rygg) |
Releasedatum | 19 oktober 2010 |
ISBN13 | 9783642165573 |
Utgivare | Springer-Verlag Berlin and Heidelberg Gm |
Antal sidor | 708 |
Mått | 155 × 234 × 28 mm · 1,02 kg |
Språk | Franska |
Redaktör | Margaria, Tiziana |
Redaktör | Steffen, Bernhard |