Mizuhito Ogawa – författare
Visar alla böcker från författaren Mizuhito Ogawa. Handla med fri frakt och snabb leverans.
2 produkter
Automated Technology for Verification and Analysis
11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings
Av Dang Van Hung, Mizuhito Ogawa
Häftad, 2013
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013, held at Hanoi, Vietnam, in October 2013. The 27 regular papers, 3 short papers and 12 tool papers presented together with 3 invited talks were …
Automated Technology for Verification and Analysis
11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings
Av Mizuhito Ogawa, Dang Van Hung
E-bok, 2013
732 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013, held at Hanoi, Vietnam, in October 2013. The 27 regular papers, 3 short papers and 12 tool papers presented together with 3 invited talks were …
