Control Flow Semantics by J.W. de Bakker (English) Paperback Book
131,72 €
Moreover, both symbol-based or schematic languages-prevalent in the study of concurrency-and state-based or interpreted languages are considered. Perspectives on further topics, such as full abstractness, noninterleaving semantics for parallelism, and second-order programming are also included.
Jetzt bei Ebay:
