Formal Techniques for Computer Systems and Business Processed : European Performance Engineering Workshop, EPEW 2005 and Internatoional Workshop on We
  • 洋書

Formal Techniques for Computer Systems and Business Processed : European Performance Engineering Workshop, EPEW 2005 and Internatoional Workshop on We  Paperback,  言語:ENG

Bravetti, Mario (EDT)/ Kloul, Leila (EDT)/ Zavattaro, Gianluigi (EDT)

  • ウェブストア価格 ¥11,303(本体¥10,276)
  • Springer Verlag(2005/11発売)
  • ポイント 102pt
  • 海外取次在庫
Web Services and Formal Methods : Third International Workshop, Ws-fm 2006, Vienna, Austria, September 8-9, 2006: Proceedings (Lecture Notes in Comput
  • 洋書

Web Services and Formal Methods : Third International Workshop, Ws-fm 2006, Vienna, Austria, September 8-9, 2006: Proceedings (Lecture Notes in Comput  Paperback,  言語:ENG

Bravetti, Mario (EDT)/ Nunez, Manuel (EDT)/ Zavattaro, Gianluigi (EDT)

  • ウェブストア価格 ¥11,303(本体¥10,276)
  • Springer-Verlag New York Inc(2006/09発売)
  • ポイント 102pt
  • 海外取次在庫
Behavioral Types in Programming Languages (Foundations and Trends® in Programming Languages)
  • 洋書

Behavioral Types in Programming Languages (Foundations and Trends® in Programming Languages)  Paperback,  言語:ENG

Ancona, Davide/ Bono, Viviana/ Bravetti, Mario

  • ウェブストア価格 ¥19,396(本体¥17,633)
  • now publishers Inc(2016/07発売)
  • ポイント 176pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings (Programming and Software Engineering) (2013)
  • 洋書

Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings (Programming and Software Engineering) (2013)  Paperback,  言語:ENG

Hierons, Robert M. (EDT)/ Merayo, Mercedes G. (EDT)/ Bravetti, Mario (EDT)

  • ウェブストア価格 ¥11,303(本体¥10,276)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/09発売)
  • ポイント 102pt
  • 海外取次在庫