Publication:5452365
From MaRDI portal
zbMath1151.68300MaRDI QIDQ5452365
Publication date: 26 March 2008
68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
68N01: General topics in the theory of software
68N99: Theory of software
Related Items
Model Continuity in Discrete Event Simulation, Modularization of logic programs, Category-theoretic approach to software systems design, Semantic information and the correctness theory of truth, Deadlock-freedom in component systems with architectural constraints, Intelligent Road Network Control, Control flow graphs and code coverage