Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. an Eatcs Series)
  • 洋書

Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. an Eatcs Series)  Paperback,  言語:ENG

Sannella, Donald/ Tarlecki, Andrzej

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/03発売)
  • ご注文いただけません
Computer Science Logic, CSL 2004 : 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings (Lecture Notes in Computer Science Vol.3210) (2004. XI, 520 p. 23,5 cm)
  • 洋書

Computer Science Logic, CSL 2004 : 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings (Lecture Notes in Computer Science Vol.3210) (2004. XI, 520 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Jerzy Marcinkowski a. Andrzej Tarlecki

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 120pt
  • 海外取次在庫