Formal Methods for Components and Objects : Third International Symposium, Fmco 2004, Leiden, the Netherlands, November 2-5, 2004, Revised Lectures (L
  • 洋書

Formal Methods for Components and Objects : Third International Symposium, Fmco 2004, Leiden, the Netherlands, November 2-5, 2004, Revised Lectures (L  Paperback,  言語:ENG

Boer, Frank S. De (EDT)/ Bonsangue, Marcello M. (EDT)/ Graf, Susanne (

  • ウェブストア価格 ¥10,730(本体¥9,755)
  • Springer-Verlag New York Inc(2005/11発売)
  • ポイント 97pt
  • 海外取次在庫
Formal Methods for Components and Objects : 8th International Symposium, Fmco 2009, Eindhoven, the Netherlands, November 4-6, 2009. Revised Selected P
  • 洋書

Formal Methods for Components and Objects : 8th International Symposium, Fmco 2009, Eindhoven, the Netherlands, November 4-6, 2009. Revised Selected P  Paperback,  言語:ENG

De Boer, Frank S. (EDT)/ Bonsangue, Marcello M. (EDT)/ Hallerstede, St

  • ウェブストア価格 ¥10,730(本体¥9,755)
  • Springer-Verlag New York Inc(2011/03発売)
  • ポイント 97pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥12,576(本体¥11,433)
  • Springer(2006/08発売)
  • ポイント 114pt
  • 海外取次在庫
Formal Methods for Components and Objects : 5th International Symposium, FMCO 2006, Netherlands, Revised Lectures (Lecture Notes in Computer Science) 〈Vol. 4709〉
  • 洋書

Formal Methods for Components and Objects : 5th International Symposium, FMCO 2006, Netherlands, Revised Lectures (Lecture Notes in Computer Science) 〈Vol. 4709〉  Paperback

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

  • ウェブストア価格 ¥16,596(本体¥15,088)
  • Springer(2007/10発売)
  • ポイント 150pt
  • 海外取次在庫
Formal Methods for Components and Objects : 6th International Symposium, FMCO 2007, Amsterdam, the Netherlands, October 24-27, 2007, Revised Papers (L
  • 洋書

Formal Methods for Components and Objects : 6th International Symposium, FMCO 2007, Amsterdam, the Netherlands, October 24-27, 2007, Revised Papers (L  Paperback,  言語:ENG

De Boer, Frank S. (EDT)/ Bonsangue, Marcello M. (EDT)/ Graf, Susanne (

  • ウェブストア価格 ¥10,730(本体¥9,755)
  • Springer-Verlag New York Inc(2008/12発売)
  • ポイント 97pt
  • 海外取次在庫
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.

  • ウェブストア価格 ¥12,576(本体¥11,433)
  • SPRINGER, BERLIN(2003発売)
  • ポイント 114pt
  • 海外取次在庫
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.

  • ウェブストア価格 ¥12,576(本体¥11,433)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 114pt
  • 海外取次在庫
Verification of Sequential and Concurrent Programs (Texts in Computer Science) (3RD)
  • 洋書

Verification of Sequential and Concurrent Programs (Texts in Computer Science) (3RD)  Paperback,  言語:ENG

Apt, Krzysztof R./ De Boer, Frank S./ Olderog, Ernst-Rudiger/ Pnueli,

  • ウェブストア価格 ¥17,561(本体¥15,965)
  • Springer-Verlag New York Inc(2012/03発売)
  • ポイント 159pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures (Programming and Software Engineering)
  • 洋書

Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures (Programming and Software Engineering)  Paperback,  言語:ENG

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

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/08発売)
  • ご注文いただけません
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.

  • ウェブストア価格 ¥12,576(本体¥11,433)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 114pt
  • 海外取次在庫