Del i serien Lecture Notes in Computer Science

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

1 489 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.

Mer från samma serie

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

749 kr

Del 15427

Internet of Things – ICIOT 2024

Shunli Zhang, Liang-Jie Zhang

Häftad, 2024

819 kr

COLOG-88

Per Martin-Löf, Grigori Mints

Häftad, 1990

729 kr

Albert Cohen - Compiler Construction, Häftad

Interactive Storytelling

María Cecilia Reyes, Frank Nack

Häftad, 2025

729 kr

Yehuda Lindell - Theory of Cryptography, Häftad

Computer Science Logic

Dirk van Dalen, Marc Bezem

Häftad, 1997

749 kr

Reliable Software Technology – Ada-Europe 2005

Tullio Vardanega, Andy Wellings

Häftad, 2005

749 kr

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki - Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries, Häftad

Del 16376

Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki

Häftad, 2026

1 219 kr

Objects and Databases

Alan Dearle, Roberto V. Zicari

Häftad, 2010

749 kr

Du kanske också är intresserad av

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

Erika Chopich, M Paul

Häftad, 1990

209 kr

Del 80

Success in Referential Communication

M. Paul

Häftad, 2010

1 449 kr

Success in Referential Communication

M. Paul

Inbunden, 1999

1 479 kr

GI — 19. Jahrestagung II

M. Paul, M. Paul

Häftad, 1989

749 kr

Genetische Diagnostik in Geburtshilfe und Gynäkologie

G. Tariverdian, M. Paul

Häftad, 2012

1 249 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

749 kr

GI — 19. Jahrestagung I

M. Paul, M. Paul

Häftad, 1989

749 kr

International Symposium on Programming

M. Paul, B. Robinet

Häftad, 1984

749 kr

Russia Ritual and Reform

M Paul

Häftad, 2003

209 kr

Genetische Diagnostik in Geburtshilfe Und Gynakologie

G Tariverdian, M Paul

Inbunden, 1999

1 249 kr

Del i serien Lecture Notes in Computer Science

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

1 489 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.