scientific article
From MaRDI portal
Publication:3318085
zbMath0534.68004MaRDI QIDQ3318085
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
domainsobject-oriented designspecification languageprocess controlabstract 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)
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses ⋮ Solving problems with automated reasoning, expert systems and neural networks ⋮ Unnamed Item ⋮ OOPM: An Object-Oriented Multimodeling and Simulation Application Framework
Uses Software
This page was built for publication:
