Tomohiro Yoneda – författare

Visar alla böcker från författaren Tomohiro Yoneda.

1 produkter

1. 

   Automated Technology for Verification and Analysis

   5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings

   Av Kedar Namjoshi, Tomohiro Yoneda m. fl.

   Häftad, 2007

   739 kr

   Lägg i varukorg