• 3 0 0 0

    Dynamic logic

    • 作者: Harel, David,
    • 出版: Cambridge, Mass. : MIT Press 2000.
    • 資料類型: 電子書