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

49,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 GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern
  • 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.