Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Mathematical Studies of Information Processing: Proceedings of the International Conference Kyoto, Japan, August 23–26, 1978

Mathematical Studies of Information Processing: Proceedings of the International Conference Kyoto, Japan, August 23–26, 1978


Book Informaton

Mathematical Studies of Information Processing: Proceedings of the International Conference Kyoto, Japan, August 23–26, 1978

Author

M. W. Shields, P. E. Lauer (auth.), E. K. Blum, M. Paul, S. Takasu (eds.)

Series

Lecture Notes in Computer Science 75

Year of Publication

1979

Publisher

Springer-Verlag Berlin Heidelberg

Pages

637

Language

en

ISBN

3540095411, 9783540095415

ARI Id

1672375117338


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 4 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Citation Options
Download Citation

Showing 1 to 20 of 20 entries
Chapters/HeadingsAuthor(s)PagesInfo
On the abstract specification and formal analysis of synchronization properties of concurrent syste
On the formal specification and analysis of loosely connected process
Synchronized parallel computation and slowdown of translato
Nondeterminism, parallelism and intermittent assertio
A formal specification technique for abstract data types with paralleli
Verifying parallel programs with resource allocati
Equivalent key problem of the relational database mod
A file organization suitable for relational database operatio
Specified programmi
A calculus for proving properties of while-progra
"E-correctness" of a set of "computation processe
Program synthesis through Gödel's interpretati
The vienna development method (VD
On a uniform formal description of data structur
Extending an implementation language to a specification langua
Some design principles and theory for OBJ-0, a language to express and execute algebraic specifications of progra
The specification and proof of correctness of interactive progra
On a theory of decision problems in programming languag
A representative strong equivalence class for accessible flowchart schem
Recursive programs as functions in a first order theo
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 20 entries