Siirry sisältöön
VuFind
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
हिंदी
Հայերէն
Українська
Sámegiella
Монгол
Kieli
Kaikki kentät
Nimeke
Tekijä
Aihe
Hyllypaikka
ISBN/ISSN
Tagi
Hae
Tarkennettu
From Algebra to Operational Se...
Sitaatti
Tekstiviesti
Lähetä sähköpostilla
Tulosta
Vie tietue
Vienti: RefWorks
Vienti: EndNoteWeb
Vienti: EndNote
Pysyvä linkki
From Algebra to Operational Semantics
Näytä muut versiot (1)
Bibliografiset tiedot
Päätekijät:
Hoare, C
,
He, J
,
Sampaio, A
Aineistotyyppi:
Record
Julkaistu:
2015
Saatavuustiedot
Kuvaus
Muut versiot (1)
Samankaltaisia teoksia
Henkilökuntanäyttö
Näytetään
1 - 1
yhteensä
1
tuloksesta
Näytä kaikki versiot (2)
Search Result 1
From Algebra to Operational Semantics
Tekijä
He, J
,
Hoare, C
Julkaistu 1993
Journal article
Näytä kaikki versiot (2)
Samankaltaisia teoksia
Algebraic derivation of an operational semantics
Tekijä: Hoare, C, et al.
Julkaistu: (2000)
From Algebra to Operational Semantics
Tekijä: He, J, et al.
Julkaistu: (1993)
A Theory of Programming: Denotational‚ Algebraic‚ and Operational Semantics
Tekijä: Hoare, C
Julkaistu: (2015)
Algebra Unifies Operational Calculi
Tekijä: van Staden, S, et al.
Julkaistu: (2012)
Semantics for a Quantum Programming Language by Operator Algebras
Tekijä: Kenta Cho
Julkaistu: (2014-12-01)