Neidio i'r cynnwys
CAVAL Home
  • Start Over
  • Fy Nghyfrif
  • Allgofnodi
  • Mewngofnodi
  • 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
  • Chwilio
  • Mathematical logic in computer...
  • Dyfynnu hwn
  • Anfonwch hwn fel neges destun
  • E-bostio hwn
  • Argraffu
  • Allforio Cofnod
    • Allforio i RefWorks
    • Allforio i EndNoteWeb
    • Allforio i EndNote
  • Ychwanegu at ffefrynnau
  • Permanent link
Mathematical logic in computer science /

Mathematical logic in computer science /

Wedi'i Gadw mewn:
Manylion Llyfryddiaeth
Awduron Corfforaethol: Bolyai Janos Mathematikai Tarsulat, Colloquium on Mathematical Logic in Computer Science
Awduron Eraill: Domolki, B., Gergely, T. (Tamás)
Fformat: Trafodyn Cynhadledd Llyfr
Iaith:English
Cyhoeddwyd: Amsterdam ; New York : North-Holland Pub. Co., 1981.
Cyfres:Colloquia mathematica Societatis Janos Bolyai, 26
Pynciau:
Programming (Electronic computers)
Programming languages (Electronic computers) > Semantics.
  • Daliadau
  • Disgrifiad
  • Dangos Staff

CARM 1 Store

Manylion daliadau o CARM 1 Store
Rhif Galw: A2:AK03F0 C04958
Copi 1 Ar gael  Gwneud Cais

Eitemau Tebyg

  • Axiomatising the logic of computer programming /
    gan: Goldblatt, Robert
    Cyhoeddwyd: (1982)
  • Semantics of sequential and parallel programs /
    gan: Best, Eike, 1951-
    Cyhoeddwyd: (1996)
  • Coordination programming : mechanisms, models, and semantics /
    Cyhoeddwyd: (1996)
  • Mathematical foundations of programming semantics : 7th international conference, Pittsburgh, PA, USA, March 25-28, 1991 : proceedings /
    Cyhoeddwyd: (1992)
  • Mathematical foundations of programming semantics : 9th international conference, New Orleans, LA, USA, April 7-10, 1993 : proceedings /
    Cyhoeddwyd: (1994)
  • Home
  • About Us
    • Contact Us
    • News
    • Governance
    • Photo Gallery
  • Solutions
    • FOLIO + ReShare
    • Storage and Archives
    • Shelf-Ready Services
    • Cataloguing and Metadata
    • Language Resources
    • Digital Platforms
  • Member Services
    • Member Benefits
    • Our Members
    • Shared Collection
    • Reciprocal Borrowing
    • Mentoring Program
    • CAVAL card

Contact Us

4 Park Drive

Bundoora, Victoria, 3083

Australia

T +61 3 9450 5500

Email: caval@caval.edu.au

Twitter Facebook LinkedIn

  • Privacy and Disclaimer
  • Site Map