Testing, Analysis and Verification of Web Software. Workshop. 2008. (at Issta 2008) Tav-web 2008: Workshop on Testing, Analysis and Verification of Web Software (Tav-web 2008)
  • 洋書
Automated Technolgoy for Verification and Analysis : 9th International Symposium, ATVA 2011, Taiwan, Proceedings (Lecture Notes in Computer Science) 〈Vol. 6996〉
  • 洋書

Automated Technolgoy for Verification and Analysis : 9th International Symposium, ATVA 2011, Taiwan, Proceedings (Lecture Notes in Computer Science) 〈Vol. 6996〉  Paperback

Bultan, T. (EDT)/ Hsiung, P.-A. (EDT)

  • ウェブストア価格 ¥14,150(本体¥12,864)
  • Springer(2011/11発売)
  • ポイント 128pt
  • 海外取次在庫
Web Services and Formal Methods : 7th International Workshop, WS-FM 2010, USA, Revised Selected Papers (Lecture Notes in Computer Science) 〈Vol. 6551〉
  • 洋書

Web Services and Formal Methods : 7th International Workshop, WS-FM 2010, USA, Revised Selected Papers (Lecture Notes in Computer Science) 〈Vol. 6551〉  Paperback

Bravetti, M. (EDT)/ Bultan, T. (EDT)

  • ウェブストア価格 ¥14,150(本体¥12,864)
  • Springer(2011/05発売)
  • ポイント 128pt
  • 海外取次在庫