scientific article
From MaRDI portal
Publication:3994615
zbMath0661.68001MaRDI QIDQ3994615
No author found.
Publication date: 17 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Data structures (68P05) Applications of computability and recursion theory (03D80) General topics in the theory of software (68N01) Theory of operating systems (68N25) Theory of software (68N99)
Related Items (10)
Model of distributed computing system operation with time ⋮ Glushkov's algorithmic algebras and automated parallel computing design ⋮ Macropipelined execution of asynchronous processes competing for a limited number of transfer channels ⋮ Issues of algorithmics and Glushkov's systems of algorithmic algebras ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Optimality of software resource structurization in distributed processing ⋮ Academician V. S. Mikhalevich as a scientist and science organizer (on the occasion of his 70th birthday)
This page was built for publication:
