Mathematical Studies of Information Processing

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

Häftad, Engelska, 1979

AvE.K. Blum,M. Paul,S. Takasu,E. K. Blum

1 419 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1979-09-01
Mått155 x 233 x 35 mm
Vikt961 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor634
Upplaga1979
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540095415

Tillhör följande kategorier

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 proving properties of while-programs.- "E-correctness" of a set of "computation processes".- Program synthesis through Gödel's interpretation.- The vienna development method (VDM).- On a uniform formal description of data structures.- Extending an implementation language to a specification language.- Some design principles and theory for OBJ-0, a language to express and execute algebraic specifications of programs.- The specification and proof of correctness of interactive programs.- On a theory of decision problems in programming languages.- A representative strong equivalence class for accessible flowchart schemes.- Recursive programs as functions in a first order theory.

Du kanske också är intresserad av

Success in Referential Communication

Success in Referential Communication

1 379 kr

Success in Referential Communication

Success in Referential Communication

1 379 kr

GI — 19. Jahrestagung II

GI — 19. Jahrestagung II

M. Paul, M. Paul

709 kr

Genetische Diagnostik in Geburtshilfe und Gynäkologie

Genetische Diagnostik in Geburtshilfe und Gynäkologie

G. Tariverdian, M. Paul

1 199 kr

Genetische Diagnostik in Geburtshilfe Und Gynakologie

Genetische Diagnostik in Geburtshilfe Und Gynakologie

G Tariverdian, M Paul, G. Tariverdian, M. Paul

1 199 kr

Distributed Systems - Architecture and Implementation

Distributed Systems - Architecture and Implementation

D.W. Davies, E. Holler, E.D. Jensen, S.R. Kimbleton, B.W. Lampson, G. LeLann, K.J. Thurber, R.W. Watson, D. W. Davies, B. W. Lampson, M. Paul, H. J. Siegert

709 kr

GI — 19. Jahrestagung I

GI — 19. Jahrestagung I

M. Paul, M. Paul

709 kr

International Symposium on Programming

International Symposium on Programming

M. Paul, B. Robinet

719 kr

Den yttersta hemligheten

Bokrea

Del 6

Den yttersta hemligheten

149 kr329 kr

Liken vi begravde

Bokrea

Liken vi begravde

119 kr329 kr