Mathematical Studies of Information Processing
Blum
Broschiertes Buch

Mathematical Studies of Information Processing

Proceedings of the International Conference, Kyoto, Japan, August 23-26, 1978

Mitarbeit: Blum, E. K.; Paul, M.; Takasu, S.
Versandkostenfrei!
Versandfertig in 1-2 Wochen
77,99 €
inkl. MwSt.
PAYBACK Punkte
39 °P sammeln!
On the abstract specification and formal analysis of synchronization properties of concurrent systems.- On the formal specification and analysis of loosely connected processes.- Synchronized parallel computation and slowdown of translators.- Nondeterminism, parallelism and intermittent assertions.- A formal specification technique for abstract data types with parallelism.- Verifying parallel programs with resource allocation.- Equivalent key problem of the relational database model.- A file organization suitable for relational database operations.- Specified programming.- A calculus for provin...