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)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Verlag(2005/11発売)
  • ポイント 218pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer-Verlag New York Inc(2006/09発売)
  • ポイント 218pt
  • 海外取次在庫
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

  • ウェブストア価格 ¥25,010(本体¥22,737)
  • now publishers Inc(2016/07発売)
  • ポイント 454pt
  • 海外からお取り寄せ(通常6~9週間)
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)

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