Automated Technology for Verification and Analysis : 5th International Symposium, ATVA 2007, Tokyo, Proceedings (Lecture Notes in Computer Science) 〈Vol. 4762〉
  • 洋書
  • ポイントキャンペーン

Automated Technology for Verification and Analysis : 5th International Symposium, ATVA 2007, Tokyo, Proceedings (Lecture Notes in Computer Science) 〈Vol. 4762〉  Paperback,  言語:ENG

Namjoshi, K. (EDT)/ Yoneda, T. (EDT)/ Higashino, T. (EDT)

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer(2007/11発売)
  • ポイント 545pt
  • 海外取次在庫
Formal Techniques for Networked and Distributed Systems - FORTE 2008 : 28th IFIP WG 6.1 International Conference Tokyo (Lecture Notes in Computer Science) 〈Vol. 5048〉
  • 洋書
  • ポイントキャンペーン

Formal Techniques for Networked and Distributed Systems - FORTE 2008 : 28th IFIP WG 6.1 International Conference Tokyo (Lecture Notes in Computer Science) 〈Vol. 5048〉  Paperback,  言語:ENG

Suzuki, K. (EDT)/ Higashino, T. (EDT)/ Yasumoto, K. (EDT)

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer(2008/06発売)
  • ポイント 545pt
  • 海外取次在庫
Testing of Software and Communicating Systems : 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008, Tokyo (Lecture Notes in Computer Science) 〈Vol. 5047〉
  • 洋書
  • ポイントキャンペーン

Testing of Software and Communicating Systems : 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008, Tokyo (Lecture Notes in Computer Science) 〈Vol. 5047〉  Paperback,  言語:ENG

Suzuki, K. (EDT)/ Higashino, T. (EDT)/ Ulrich, A. (EDT)

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer(2008/06発売)
  • ポイント 545pt
  • 海外取次在庫