scientific article
From MaRDI portal
Publication:3793689
zbMath0648.68007MaRDI QIDQ3793689
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
domainsobject-oriented designspecification languageprocess controlsoftware engineeringabstract data typesprogramming methodologyAda programming language
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) General topics in the theory of software (68N01)
Related Items (4)
Impact of performance considerations on formal specification design ⋮ Identifying consensus of trees through alignment ⋮ An error-correcting code framework for genetic sequence analysis ⋮ \(\rho\) graph: Rendezvous ordering graph for Ada concurrent programs
Uses Software
This page was built for publication:
