Formal Methods for Eternal Networked Software Systems : 11th International School on Formal Methods for the Design of Computer, SFM 2011, Advanced Lectures (Lecture Notes in Computer Science) 〈Vol. 6659〉
  • 洋書

Formal Methods for Eternal Networked Software Systems : 11th International School on Formal Methods for the Design of Computer, SFM 2011, Advanced Lectures (Lecture Notes in Computer Science) 〈Vol. 6659〉  Paperback

Bernardo, M. (EDT)/ Issarny, V. (EDT)

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