scientific article; zbMATH DE number 5254148
From MaRDI portal
Publication:5452365
zbMath1151.68300MaRDI QIDQ5452365
Publication date: 26 March 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) General topics in the theory of software (68N01) Theory of software (68N99)
Related Items (7)
Category-theoretic approach to software systems design ⋮ Modularization of logic programs ⋮ Deadlock-freedom in component systems with architectural constraints ⋮ Intelligent Road Network Control ⋮ Semantic information and the correctness theory of truth ⋮ Control flow graphs and code coverage ⋮ Model Continuity in Discrete Event Simulation
This page was built for publication:
