KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 11.11.2026 auf Spielzeug, Schreibwaren, Filme, Geschenke & Trends, Musik, tolino eReader & Zubehör, Hörbücher und Hörbuch-Downloads, nicht preisgebundene Bücher und Kalender online auf thaalia.live und in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Aufgrund der Buchpreisbindung sind deutschsprachige Bücher und eBooks ausgenommen. Zusätzlich ausgenommen sind Abos & Flatrates, Games, Geschenkkarten/-boxen, Shelfies, Software, Zeitschriften sowie einzelne Artikel von tonies®. Pro Einkauf einmal einlösbar. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Versandkosten und Services.
  • Produktbild: TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989
  • Produktbild: TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989
Band 352

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989 Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages (CCIPL)

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

TAPSOFT '89 is the Third International Joint Conference on Theory and Practice of Software Development held in Barcelona, Spain, March 13-17, 1989. The conference consissted of three parts: - Advanced Seminar on Foundations of Innovative Software Development - Colloquium on Trees in Algebra and Programming...

Beschreibung

TAPSOFT '89 is the Third International Joint Conference on Theory and Practice of Software Development held in Barcelona, Spain, March 13-17, 1989. The conference consissted of three parts: - Advanced Seminar on Foundations of Innovative Software Development - Colloquium on Trees in Algebra and Programming (CAAP '89) - Colloquium on Current Issues in Programming Languages (CCIPL) The TAPSOFT '89 Conference Proceedings are published in two volumes. The first volume includes the papers from CAAP plus the more theoretical ones of the invited papers. The second volume comprises the papers from CCIPL and the invited papers more relevant to current issues in programming languages.

Produktdetails

Einband

Taschenbuch
Erscheinungsdatum

27.02.1989
Abbildungen

XII, 392 p.
Herausgeber Josep Diaz + weitere

Produktdetails

Einband

Taschenbuch
Erscheinungsdatum

27.02.1989
Abbildungen

XII, 392 p.
Herausgeber
Verlag Springer Berlin
Seitenzahl

392
Maße (L/B/H)

23,5/15,5/2,2 cm
Gewicht

610 g
Auflage

1989
Sprache

Englisch
ISBN

978-3-540-50940-0
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: TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989
  • Produktbild: TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989
  • Towards a meaning of ‘M’ in VDM.- Algebraic specification and functionals for transformational program and meta program development.- On the use of specification styles in the design of distributed systems.- Specifying Avalon objects in Larch.- A self-applicable partial evaluator for term rewriting systems.- Verifying correctness of logic programs.- Specifying the behavior of graphical objects using Esterel.- A preprocessor based module system for Prolog.- Formulas, processes, and Petri-Nets applied to the specification and verification of a HDLC protocol.- Compilation of lambda-calculus into functional machine code.- Polymorphic subtype inference: Closing the theory-practice gap.- FACILE: A symmetric integration of concurrent and functional programming.- Development of concurrent programs: An example.- Horn clause programs with polymorphic types: Semantics and resolution.- Type checking, universe polymorphism, and typical ambiguity in the calculus of constructions draft.- Is type checking practical for system configuration?.- An introduction to PSFd.- Processes and functions.- Binding time analysis for polymorphically typed higher order languages.- A fine grain parallel implementation of PARLOG.- Specification and verification of TCSP systems by means of partial abstract data types.- LEAP: A language with eval and polymorphism.- The semantics of program slicing and program integration.- Toward formal development of ML programs: Foundations and methodology.