Neidio i'r cynnwys
UPFind
  • Bag Llyfrau: 0 eitemau (Llawn)
  • Iaith
    • 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
    • हिंदी
Uwch
  • Register-machine based process...
  • Dyfynnu hwn
  • E-bostio hwn
  • Argraffu
  • Allforio Cofnod
    • Export toEndNote
    • Export toMARC
    • Export toMARCXML
  • Ychwanegu at y Bag Llyfrau Symud o'r Bag Llyfrau
  • Permanent link
Register-machine based processes.
Côd QR

Register-machine based processes.

Manylion Llyfryddiaeth
Cyhoeddwyd yn:Journal of the ACM 48, 6 (2001).
Prif Awdur: Bergstra, Jan A.
Fformat: Erthygl
Iaith:English
Pynciau:
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.
  • Daliadau
  • Disgrifiad
  • Rhagolwg
  • Dangos Staff

Search Options

  • Hanes Chwilio
  • Chwiliad Uwch

Discover More

  • Pori'r Catalog
  • Archwiliwch Sianeli

Need Help?

  • Awgrymiadau Chwilio
  • Gofynnwch i Lyfrgellydd
  • Cwestiynau Cyffredin

More Information

  • About Tuklas
  • Contact Us

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