Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	September 1979
Genre:	EDV / Informatik
	angewandte informatik / Calculus / Computerprogrammierung und Softwareentwicklung / Database / datastructures / formalspecification / Informatik / Information / Organization / Processing / Programmierung(EDV) / Programming / programminglanguage mehr...
ISBN:	9783540095415
EAN-Code:	9783540095415
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D 35 mm
Gewicht:	961 gr
Seiten:	644
Bewertung:	Titel bewerten / Meinung schreiben

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.