Вы здесь

Главная

Methods of Theoretical and Experimental Computer Science

Связанные издания:

An Algebra and Axiomatization System of Mixed Computation
An Automated Procedure for Synthesis of Systolic and Wavefront Arrays
Annotated program transformation
Annotated Program Transformations
Concurrent Processes with Synchronization: Net and Algebraic Approaches
Correctness of Parallel Microprograms
Generalised Mixed Computation Exemplified on Programs with Stacks
Improved Upper Bounds for Propositional Dynamic Logic Variants
On Quasi-Reducibility and Proofs by Induction in Abstract Data Types
Program Verification and Type Checking
Space-Time Transformation of Parallel Microprograms
Towards Formalization of Data Flow Schemata with Colored Tokens
Towards Formalization of Structured Data Flow Schemata with Colored Tokens