Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig vom 20.07.2026 bis 22.07.2026 | Gültig für nicht preisgebundene fremdsprachige Bücher | Einzelne Artikel können ausgeschlossen sein | Nicht kombinierbar mit anderen Gutscheinen oder Preisaktionen | Nur einmal pro Einkauf einlösbar | Gutschein wird auf max. 500€ Bestellwert angerechnet | Keine Barauszahlung | Nicht gültig für Versandkosten und Services
Produktbild: Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practi
Band 185

Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practi Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85)

Aus der Reihe Lecture Notes in Computer Science

39,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.03.1985

Herausgeber

Hartmut Ehrig + weitere

Verlag

Springer Berlin

Seitenzahl

422

Maße (L/B/H)

23,5/15,5/2,4 cm

Gewicht

657 g

Auflage

1985

Sprache

Englisch

ISBN

978-3-540-15198-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.03.1985

Herausgeber

Verlag

Springer Berlin

Seitenzahl

422

Maße (L/B/H)

23,5/15,5/2,4 cm

Gewicht

657 g

Auflage

1985

Sprache

Englisch

ISBN

978-3-540-15198-2

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

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: Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practi
  • Specification and top down design of distributed systems.- Specification languages for distributed systems.- Semantically based programming tools (Summary).- From function level semantics to program transformation and optimization.- Inductively defined functions.- Three approaches to type structure.- On the maximum size of random trees.- Fast searching in a real algebraic manifold with applications to geometric complexity.- Typed categorical combinatory logic.- A path ordering for proving termination of term rewriting systems.- A rewrite rule based approach for synthesizing abstract data types.- “Delayability” in proofs of strong normalizability in the typed lambda Calculus.- Bisimulations and abstraction homomorphisms.- A metric characterization of fair computations in CCS.- A complete modal proof system for a subset of SCCS.- Amalgamation of graph transformations with applications to synchronization.- Decompilation of control structures by means of graph transformations.- Synchronized bottom-up tree automata and L-systems.- On observational equivalence and algebraic specification.- Parameter preserving data type specifications.- On the parameterized algebraic specification of concurrent systems.- The semantics of shared submodules specifications.- Why Horn formulas matter in computer science: Initial structures and generic examples.- On the implementation of abstract data types by programming language constructs.- A LISP compiler for FP language and its proof via algebraic semantics.