scientific article
From MaRDI portal
Publication:3206274
zbMath0416.68007MaRDI QIDQ3206274
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01)
Related Items (5)
Principles of plasma pattern and alternative structure compilation ⋮ Fixed point theorems and semantics: A folk tale ⋮ The contraction principle as a particular case of Kleene's fixed point theorem ⋮ Unnamed Item ⋮ Methodical solution of the problem of ascending subsequences of maximum length within a given sequence
This page was built for publication:
