Abstract Software Specifications edito da Springer Berlin Heidelberg
Alta reperibilità

Abstract Software Specifications

1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings

EAN:

9783540100072

ISBN:

3540100075

Pagine:
588
Formato:
Paperback
Lingua:
Tedesco
Acquistabile con o la

Descrizione Abstract Software Specifications

Abstract Architecture.- Foundations of denotational semantics.- Models of programming language concepts.- Formalization of data base models.- Experiments in block-structured GOTO language modeling: ¿ EXITs versus continuations.- An introduction to data algebras.- Time sequences as a tool for describing program behaviour.- The semantics of clear, a specification language.- An example of hierarchical program specification.- Modular program construction using abstractions.- On the structure of application programs.- Abstract objects as abstract data types.- Design and analysis of highly parallel and distributed systems.- On the semantics of fair parallelism.- Dijkstra's predicate transformers and smyth's powerdomains.- Banquet talk.

Spedizione gratuita
€ 71.44
o 3 rate da € 23.81 senza interessi con
Disponibile in 10-12 giorni
servizio Prenota Ritiri su libro Abstract Software Specifications
Prenota e ritira
Scegli il punto di consegna e ritira quando vuoi

Recensioni degli utenti

e condividi la tua opinione con gli altri utenti