Overview
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.
- | Author: Andrzej Tarlecki
- | Publisher: Springer
- | Publication Date: Aug 07, 1991
- | Number of Pages: 437 pages
- | Binding: Paperback or Softback
- | ISBN-10: 3540543457
- | ISBN-13: 9783540543459