Yoshio Okamura – författare

Visar alla böcker från författaren Yoshio Okamura. Handla med fri frakt och snabb leverans.

2 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

   569 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007. The 29 revised full papers presented together with seven short papers address theoretical methods to achieve correct software or hardware systems, …

2. 

   Automated Technology for Verification and Analysis

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

   Av Yoshio Okamura, Teruo Higashino m. fl.

   E-bok, 2007

   732 kr

   Lägg i varukorg