Chuyển đến nội dung
UPFind
  • Túi sách: 0 cuốn sách (Đầy đủ)
  • Ngôn ngữ
    • 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
    • हिंदी
Nâng cao
  • Register-machine based process...
  • Trích dẫn điều này
  • Email này
  • In
  • Xuất bản ghi
    • Export toEndNote
    • Export toMARC
    • Export toMARCXML
  • Thêm vào cặp sách Xóa khỏi Túi Sách
  • Liên kết dài hạn
Register-machine based processes.
Mã QR

Register-machine based processes.

Chi tiết về thư mục
Xuất bản năm:Journal of the ACM 48, 6 (2001).
Tác giả chính: Bergstra, Jan A.
Định dạng: Bài viết
Ngôn ngữ:English
Những chủ đề:
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.
  • Đang giữ
  • Miêu tả
  • Xem trước
  • Chế độ xem nhân viên

Search Options

  • Lịch sử tìm kiếm
  • Tìm kiếm nâng cao

Discover More

  • Tìm theo Ca-ta-lô
  • Khám phá kênh

Need Help?

  • Mẹo tìm kiếm
  • Hỏi thủ thư
  • FAQs

More Information

  • About Tuklas
  • Contact Us

TUKLAS: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman