Mathematical Studies of Information Processing: Proceedings of the International Conference, Kyoto, Japan, August 23-26, 1978
1111357363
Mathematical Studies of Information Processing: Proceedings of the International Conference, Kyoto, Japan, August 23-26, 1978
109.99 In Stock
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

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

Paperback(1979)

$109.99 
  • SHIP THIS ITEM
    In stock. Ships in 6-10 days.
  • PICK UP IN STORE

    Your local store may have stock of this item.

Related collections and offers

Product Details

ISBN-13: 9783540095415
Publisher: Springer Berlin Heidelberg
Publication date: 10/10/1979
Series: Lecture Notes in Computer Science , #75
Edition description: 1979
Pages: 634
Product dimensions: 6.10(w) x 9.17(h) x 0.05(d)

Table of Contents

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.
From the B&N Reads Blog

Customer Reviews