Mathematical Studies of Information Processing
Proceedings of the International Conference, Kyoto, Japan, August 23-26, 1978.
(Sprache: Englisch)
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,...
Leider schon ausverkauft
versandkostenfrei
Buch
Fr. 184.90
inkl. MwSt.
- Kreditkarte, Paypal, Rechnungskauf
- 30 Tage Widerrufsrecht
Produktdetails
Produktinformationen zu „Mathematical Studies of Information Processing “
Klappentext zu „Mathematical Studies of Information Processing “
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.
Inhaltsverzeichnis zu „Mathematical Studies of Information Processing “
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.
Bibliographische Angaben
- 1979, 1979, 634 Seiten, Masse: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Ed. by E. K. Blum, M. Paul and S. Takasu
- Herausgegeben: E. K. Blum, S. Takasu, M. Paul
- Verlag: Springer
- ISBN-10: 3540095411
- ISBN-13: 9783540095415
- Erscheinungsdatum: 01.09.1979
Sprache:
Englisch
Kommentar zu "Mathematical Studies of Information Processing"
0 Gebrauchte Artikel zu „Mathematical Studies of Information Processing“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Mathematical Studies of Information Processing".
Kommentar verfassen