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)

  • ウェブストア価格 ¥13,920(本体¥12,655)
  • Springer(2011/11発売)
  • ポイント 126pt
  • 海外取次在庫
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)

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