Fri frakt över 249 kr
•
Snabba leveranser
•
Billiga böcker

Fynda 4 pocketböcker till priset av 3 →

Mathematical Studies of Information Processing

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

AvE.K. Blum,M. Paul

Häftad, Engelska, 1979

Del i serien Lecture Notes in Computer Science

1 123 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1979-09-01
Mått:155 x 233 x 35 mm
Vikt:961 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:634
Upplaga:1979
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540095415

Utforska kategorier

Innehållsförteckning

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

M. Paul - Success in Referential Communication, Inbunden

Success in Referential Communication

M. Paul

Inbunden, 1999

1 123 kr

M. Paul - Success in Referential Communication, E-bok

Success in Referential Communication

M. Paul

E-bok

2013

1 367 kr

M. Paul, M. Paul - GI — 19. Jahrestagung II, Häftad

GI — 19. Jahrestagung II

M. Paul, M. Paul

Häftad, 1989

564 kr

M. Paul - Digital Computer Applications to Process Control, E-bok

Digital Computer Applications to Process Control

M. Paul

E-bok

2016

756 kr

D.W. Davies, E. Holler, E.D. Jensen, S.R. Kimbleton, B.W. Lampson, G. LeLann, K.J. Thurber, R.W. Watson, B. W. Lampson, M. Paul, H. J. Siegert - Distributed Systems - Architecture and Implementation, Häftad

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, B. W. Lampson, M. Paul, H. J. Siegert

Häftad, 1981

565 kr

M. Paul - GI — 19. Jahrestagung I, E-bok

GI — 19. Jahrestagung I

M. Paul

E-bok

2013

565 kr

M. Paul, M. Paul - GI — 19. Jahrestagung I, Häftad

GI — 19. Jahrestagung I

M. Paul, M. Paul

Häftad, 1989

564 kr

M. Paul, B. Robinet - International Symposium on Programming, Häftad

International Symposium on Programming

M. Paul, B. Robinet

Häftad, 1984

565 kr

M. Paul, G. Tariverdian - Genetische Diagnostik in Geburtshilfe und Gynäkologie, E-bok

Genetische Diagnostik in Geburtshilfe und Gynäkologie

M. Paul, G. Tariverdian

E-bok

2013

944 kr

M. Paul - GI — 19. Jahrestagung II, E-bok

GI — 19. Jahrestagung II

M. Paul

E-bok

2013

570 kr