Mathematical Foundations of Computer Science 1991

Beschreibung

This volume contains the proceedings of a Polish/Czechoslovakian symposium on topics including parallel and distributed computing, software specification and development, logic and semantics of programs, algorithms, complexity and computability theory.

Autor*in

Andrzej Tarlecki

Themen in »Mathematical Foundations of Computer Science 1991«

Automat algorithm algorithms automata complexity computability computability theory distributed computing formal language logic semantics algorithm analysis and problem complexity

Stimmen zu »Mathematical Foundations of Computer Science 1991«

Details

Link teilen