Formal Methods for Distributed System Development : FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing
  • 洋書
  • ポイントキャンペーン

Formal Methods for Distributed System Development : FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing  Paperback,  言語:ENG

Bolognesi, Tommaso (EDT)/ Latella, Diego (EDT)

  • ウェブストア価格 ¥42,656(本体¥38,779)
  • Springer-Verlag New York Inc.(2013/02発売)
  • ポイント 774pt
  • 海外取次在庫
Integrated Formal Methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7321) (2012. 2012. XII, 360 S. 235 mm)
  • 洋書
  • ポイントキャンペーン

Integrated Formal Methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7321) (2012. 2012. XII, 360 S. 235 mm)  Paperback

Herausgegeben von Derrick, John/ Gnesi, Stefania/ Latella, Diego/ Treharne, Helen

  • ウェブストア価格 ¥12,282(本体¥11,166)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 222pt
  • 海外取次在庫