検索結果 - Peter D. Mosses

  • 検索結果 1 - 5 結果 / 5
結果の絞り込み
  1. 表紙画像

    CASL Reference Manual : The Complete Documentation of the Common Algebraic Specification Language / 著者: Peter D. Mosses

    出版事項 2004, c2004
    Ver documento en línea
    図書
  2. 表紙画像

    CASL User Manual : Introduction to Using the Common Algebraic Specification Language / 著者: Michel Bidoit, Peter D. Mosses

    出版事項 2004, c2004
    Ver documento en línea
    図書
  3. 表紙画像

    Recent Trends in Algebraic Development Techniques : 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers / 著者: Didier Bert, Christine Choppy, Peter D. Mosses

    出版事項 2000, c2000
    Ver documento en línea
    図書
  4. 表紙画像

    Recent Trends in Algebraic Development Techniques : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers / 著者: José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas

    出版事項 2005, c2005
    Ver documento en línea
    図書
  5. 表紙画像

    Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics : International Conference IFIP TCS 2000 Sendai, Japan, August 17-19, 2000 Proceedings / 著者: Jan Leeuwen, Osamu Watanabe, Masami Hagiya, Peter D. Mosses, Takayasu Ito

    出版事項 2000, c2000
    Ver documento en línea
    図書

検索ツール: