Active Object Languages: Current Research Trends (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Active Object Languages: Current Research Trends (Lecture Notes in Computer Science)  Paperback

de Boer, Frank (EDT)/ Damiani, Ferruccio (EDT)/ Hähnle, Reiner (EDT)

  • ウェブストア価格 ¥18,308(本体¥16,644)
  • Springer International Publishing AG(2024/01発売)
  • ポイント 332pt
  • 海外取次在庫
Formal Methods for Components and Objects : 4th International Symposium, FMCO 2005, The Netherlands, November, 2005, Revised Lectures (Lecture Notes in Computer Science) 〈Vol. 4111〉
  • 洋書
  • ポイントキャンペーン

Formal Methods for Components and Objects : 4th International Symposium, FMCO 2005, The Netherlands, November, 2005, Revised Lectures (Lecture Notes in Computer Science) 〈Vol. 4111〉  Paperback,  言語:ENG

de Boer, Frank S. (EDT)/ Bonsangue, Marcello M. (et al., EDT)

  • ウェブストア価格 ¥13,691(本体¥12,447)
  • Springer(2006/08発売)
  • ポイント 248pt
  • 海外取次在庫
FM 2015: Formal Methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings (Lecture Notes in Computer Science) (2015)
  • 洋書
  • ポイントキャンペーン

FM 2015: Formal Methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings (Lecture Notes in Computer Science) (2015)  Paperback

Bjørner, Nikolaj (EDT)/ de Boer, Frank (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2015/06発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
It's All about Coordination : Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

It's All about Coordination : Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab (Lecture Notes in Computer Science)  Paperback,  言語:ENG

de Boer, Frank (EDT)/ Bonsangue, Marcello (EDT)/ Rutten, Jan (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2018/04発売)
  • ポイント 214pt
  • 海外取次在庫
Software Engineering and Formal Methods : 18th International Conference, SEFM 2020, Amsterdam, the Netherlands, September 14-18, 2020, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Software Engineering and Formal Methods : 18th International Conference, SEFM 2020, Amsterdam, the Netherlands, September 14-18, 2020, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

de Boer, Frank (EDT)/ Cerone, Antonio (EDT)

  • ウェブストア価格 ¥12,922(本体¥11,748)
  • Springer Nature Switzerland AG(2020/09発売)
  • ポイント 234pt
  • 海外取次在庫
Formal Methods for Components and Objects, FMCO 2002 : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002. Revised Lectures (Lecture Notes in Computer Science Vol.2852) (2003. VIII, 509 p. 23,5 cm)
  • 洋書
  • ポイントキャンペーン

Formal Methods for Components and Objects, FMCO 2002 : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002. Revised Lectures (Lecture Notes in Computer Science Vol.2852) (2003. VIII, 509 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Frank S.de Boer, Marcello M. Bonsangue, Susanne Graf et al.

  • ウェブストア価格 ¥13,691(本体¥12,447)
  • SPRINGER, BERLIN(2003発売)
  • ポイント 248pt
  • 海外取次在庫
Formal Methods for Components and Objects, FMCO 2003 : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 (Lecture Notes in Computer Science Vol.3188) (2004. VIII, 373 p.)
  • 洋書
  • ポイントキャンペーン

Formal Methods for Components and Objects, FMCO 2003 : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 (Lecture Notes in Computer Science Vol.3188) (2004. VIII, 373 p.)  Paperback

Ed. by Frank S.de Boer, Marcello M. Bonsangue, Susanne Graf et al.

  • ウェブストア価格 ¥13,691(本体¥12,447)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 248pt
  • 海外取次在庫
Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures (Lecture Notes in Computer Science) (2013)
  • 洋書
  • ポイントキャンペーン

Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Giachino, Elena (EDT)/ Hähnle, Reiner (EDT)/ de Boer, Frank S. (EDT)

  • ウェブストア価格 ¥10,769(本体¥9,790)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/08発売)
  • ポイント 194pt
  • 海外取次在庫
Formal Methods for Components and Objects : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 (Lecture Notes in Computer Science / Programming and Software Engineering .6957) (2011. XI, 393 S. 235 mm)
  • 洋書
  • ポイントキャンペーン

Formal Methods for Components and Objects : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 (Lecture Notes in Computer Science / Programming and Software Engineering .6957) (2011. XI, 393 S. 235 mm)  Paperback,  言語:ENG

Herausgegeben von Aichernig, Bernhard K./ de Boer, Frank S./ Bonsangue, Marcello M.

  • ウェブストア価格 ¥13,691(本体¥12,447)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 248pt
  • 海外取次在庫
Theoretical Computer Science : 7th IFIP TC1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7604) (2012. 2012. X, 390 S. 235 mm)
  • 洋書
  • ポイントキャンペーン

Theoretical Computer Science : 7th IFIP TC1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7604) (2012. 2012. X, 390 S. 235 mm)  Paperback,  言語:ENG

Herausgegeben von Baeten, Jos C.M./ Ball, Tom/ de Boer, Frank S.

  • SPRINGER, BERLIN(2012発売)
  • ご注文いただけません
Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers (Programming and Software Engineering) (2013)
  • 洋書
  • ポイントキャンペーン

Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers (Programming and Software Engineering) (2013)  Paperback,  言語:ENG

Beckert, Bernhard (EDT)/ Damiani, Ferruccio (EDT)/ de Boer, Frank S. (EDT)

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