scientific article; zbMATH DE number 1995120
From MaRDI portal
Publication:4431335
zbMath1023.68503MaRDI QIDQ4431335
Publication date: 21 October 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Mathematical problems of computer architecture (68M07) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
Specification, verification and prototyping of an optimized compiler ⋮ Communities and ancestors associated with Egon Börger and ASM
This page was built for publication: