scientific article
From MaRDI portal
Publication:3157876
zbMath1109.68023MaRDI QIDQ3157876
No author found.
Publication date: 19 January 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Computer system organization (68M99)
Related Items (4)
Transposing partial components--an exercise on coalgebraic refinement ⋮ An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems ⋮ Formal Semantics of a VDM Extension for Distributed Embedded Systems ⋮ Extended Static Checking by Calculation Using the Pointfree Transform
This page was built for publication:
