scientific article
From MaRDI portal
Publication:3028311
zbMath0625.68002MaRDI QIDQ3028311
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Algorithms in computer science (68W99)
Related Items (2)
This page was built for publication: