KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
  • Produktbild: International Symposium on Programming
  • Produktbild: International Symposium on Programming
Band 83

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

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.04.1980

Abbildungen

X, 350 p.

Herausgeber

B. Robinet

Verlag

Springer Berlin

Seitenzahl

350

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

540 g

Auflage

1980

Sprache

Englisch

ISBN

978-3-540-09981-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.04.1980

Abbildungen

X, 350 p.

Herausgeber

B. Robinet

Verlag

Springer Berlin

Seitenzahl

350

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

540 g

Auflage

1980

Sprache

Englisch

ISBN

978-3-540-09981-9

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: International Symposium on Programming
  • Produktbild: International Symposium on Programming
  • 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.