Vor Ort
Merkzettel Warenkorb
  • 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 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

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

27.02.1989

Herausgeber

Josep Diaz + weitere

Verlag

Springer Berlin

Seitenzahl

392

Maße (L/B/H)

23,5/15,5/2,1 cm

Gewicht

708 g

Auflage

1989

Sprache

Englisch

ISBN

978-3-540-50940-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

27.02.1989

Herausgeber

Verlag

Springer Berlin

Seitenzahl

392

Maße (L/B/H)

23,5/15,5/2,1 cm

Gewicht

708 g

Auflage

1989

Sprache

Englisch

ISBN

978-3-540-50940-0

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: 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.