Willkommen, schön sind Sie da!
Logo Ex Libris

Mathematical Studies of Information Processing

  • Kartonierter Einband
  • 644 Seiten
(0) Erste Bewertung abgeben
Bewertungen & Rezensionen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
InhaltOn the abstract specification and formal analysis of synchronization properties of concurrent systems.- On the formal specif... Weiterlesen
20%
158.00 CHF 126.40
Sie sparen CHF 31.60
Print on Demand - Auslieferung erfolgt in der Regel innert 4 bis 6 Wochen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

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

Produktinformationen

Titel: Mathematical Studies of Information Processing
Untertitel: Proceedings of the International Conference, Kyoto, Japan, August 23-26, 1978
Editor:
EAN: 9783540095415
ISBN: 3540095411
Format: Kartonierter Einband
Herausgeber: Springer Berlin Heidelberg
Anzahl Seiten: 644
Gewicht: 961g
Größe: H235mm x B155mm x T34mm
Jahr: 1979
Untertitel: Englisch
Auflage: 1979

Weitere Produkte aus der Reihe "Lecture Notes in Computer Science"