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 138 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.

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

554 kr

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang - Knowledge Graphs, Häftad

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

932 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

571 kr

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson - Advanced Parallel Processing Technologies, Häftad

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 022 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

932 kr

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek - Electronic Participation, Häftad

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr

Del 12051

Sustainable Digital Communities

Anneli Sundqvist, Gerd Berget, Jan Nolin, Kjell Ivar Skjerdingstad

Häftad, 2020

1 071 kr

Types for Proofs and Programs

Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith

Häftad, 2000

571 kr

Del 13216

Requirements Engineering: Foundation for Software Quality

Vincenzo Gervasi, Andreas Vogelsang

Häftad, 2022

627 kr

Component-Based Software Engineering

Heinz G. Schmidt, Ivica Crnkovic, George T. Heineman, Judith A. Stafford

Häftad, 2007

571 kr

Du kanske också är intresserad av

10% rabatt på allt

L'amour toujours : Berättelsen om Tidö

Maggie Strömberg, Torbjörn Nilsson

Inbunden, 2026

275 kr

Success in Referential Communication

M. Paul

Inbunden, 1999

1 135 kr

Success in Referential Communication

M. Paul

E-bok

2013

1 427 kr

GI — 19. Jahrestagung II

M. Paul, M. Paul

Häftad, 1989

570 kr

GI — 19. Jahrestagung II

M. Paul

E-bok

2013

590 kr

Digital Computer Applications to Process Control

M. Paul

E-bok

2016

781 kr

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

572 kr

GI — 19. Jahrestagung I

M. Paul, M. Paul

Häftad, 1989

570 kr

International Symposium on Programming

M. Paul, B. Robinet

Häftad, 1984

572 kr

Healing Your Aloneness Finding Love and Wholeness Through Your Inner Chi ld

Erika Chopich, M Paul

Häftad, 1990

162 kr

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 138 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.

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

554 kr

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

932 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

571 kr

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 022 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

932 kr

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr

Del 12051