Skip to content
UPFind
書包:
0
items
(滿)
語言
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
全文檢索
題名
作者
主題
索引號
ISBN/ISSN
檢索
高級檢索
Register-machine based process...
引用
推薦此
打印
導出紀錄
Export toEndNote
Export toMARC
Export toMARCXML
添加到書包
從書包裡刪除
Permanent link
Register-machine based processes.
書目詳細資料
發表在:
Journal of the ACM
48, 6 (2001).
主要作者:
Bergstra, Jan A.
格式:
Article
語言:
English
主題:
Software.
Programming languages.
Formal definitions and theory.
Theory of computation.
Computation by abstract devices.
Models of computation.
Modes of computation.
Logics and meanings of programs.
Specifying and Verifying and Reasoning about Programs.
Specification techniques.
Semantics of programming languages.
Algebraic approaches to semantics.
Mathematical logic and formal languages.
Formal languages.
Decision problems.
Theory.
持有資料
實物特徵
Preview
職員瀏覽
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman