Del 83 - Lecture Notes in Computer Science

International Symposium on Programming

Proceedings of the Fourth "Colloque International sur la Programmation" Paris, 22-24 April 1980

Häftad, Engelska, 1980

739 kr

Beställningsvara. Skickas inom 7-10 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1980-04-01
Mått170 x 250 x 20 mm
Vikt540 g
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor350
Upplaga1980
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
EAN9783540099819

Du kanske också är intresserad av

Programming Symposium

Del 19

Programming Symposium

519 kr

International Symposium on Programming

Del 167

International Symposium on Programming

M. Paul, B. Robinet

739 kr

Akrylfärg Simply 25 delar

Akrylfärg Simply 25 delar

Daler-Rowney

199 kr

Lera DAS 1kg vit

Lera DAS 1kg vit

DAS

89 kr

Hjärtslag : En självbiografi

Nyhet

Hjärtslag : En självbiografi

Björn Borg, Patricia Borg

349 kr

Lackeringskit DAS 75ml lack + pensel

Lackeringskit DAS 75ml lack + pensel

DAS

159 kr

Pojken på andra sidan havet

Nyhet

Pojken på andra sidan havet

299 kr359 kr

Den yttersta hemligheten

Nyhet

Del 6

Den yttersta hemligheten

329 kr

Modelleringsverktyg DAS trä 2-pack

Modelleringsverktyg DAS trä 2-pack

DAS

69 kr

Caminando Spanska Nybörjare Lärobok inkl ljud

Caminando Spanska Nybörjare Lärobok inkl ljud

Elisabet Waldenström, Ninni Westerman, Åsa Bretz, Åsa Gustafsson, Märet Wik-Bretz

589 kr

Tillhör följande kategorier

Static type checking for languages with parametric types and polymorphic procedures.- Concrete control phases in languages for programming complex systems.- Types algebriques et semantique des langages de programmation.- Towards a theory of abstract data types: A discussion on problems and tools.- On relations between programs.- A communication data type for message oriented programming.- Processus non-sequentiels et leurs observations en univers non-centralise.- A case study of abstract implementations and their correctness.- About program termination and simplification.- A relational model for non-deterministic programs and predicate transformers.- Structures de controle et puissances d'expression.- Conception et optimisation des descentes recursives.- An algebraic structure of petri nets.- An algorithm for translating LISP programs into reduction language programs.- Concurrent operations in large ordered indexes.- Specification of highly parallel and distributed resource management.- Semantics for lisp without reference to an interpreter.- Parallelism in ADA: Program design and meaning.- The theory and practice of transforming call-by-need into call-by-value.- A model-theoretic approach to specification, extension, and implementation.- Échappements et continuations en semantique dénotationnelle.- Suggestions for composing and specifying program design decisions.- Making programs more readable.