scientific article
From MaRDI portal
Publication:3038593
zbMath0525.68002MaRDI QIDQ3038593
Richard C. Linger, Harlan D. Mills, Bernard I. Witt
Publication date: 1982
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 software (68Nxx)
Related Items (9)
Regularity of relations: A measure of uniformity ⋮ Maximum-frequency monitoring of program flow ⋮ A versatile concept for the analysis of loops ⋮ Verification of a finite iteration over data structures ⋮ Verification of finite iterations over collections of variable data structures ⋮ Atomatics as mathematical modelling and knowledge representation. Applications to systems analysis in computer and information sciences ⋮ Symbolic verification method for definite iteration over data structures ⋮ Structural models of algorithms in problems of applied programming. I: Formal algorithmic structures ⋮ An axiom system for sequence-based specification
This page was built for publication:
