scientific article; zbMATH DE number 1031982
From MaRDI portal
Publication:4343984
zbMath0884.68016MaRDI QIDQ4343984
No author found.
Publication date: 6 July 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15)
Related Items (4)
The safety-critical Java memory model formalised ⋮ From control law diagrams to Ada via \textsf{Circus} ⋮ Unnamed Item ⋮ Metamodeling semantics of multiple inheritance
Uses Software
This page was built for publication:
