TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona,

Name: TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona,
Brand: Springer, Berlin
SKU: 3221543
Price: 85.59 EUR
Availability: PreOrder
ISBN: 3540509402

Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages (CCIPL) (Sprache: Englisch)

Keine Kommentare vorhanden

Jetzt bewerten

Schreiben Sie den ersten Kommentar zu "TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona,".

Kommentar verfassen

Merken

Mehr zum Inhalt Video Inhaltsverzeichnis

Voraussichtlich lieferbar in 3 Tag(en)

versandkostenfrei

Bestellnummer: 3221543

Buch 85.59 €

Jetzt vorbestellen

Kauf auf Rechnung
Kostenlose Rücksendung
Ratenzahlung möglich

Voraussichtlich lieferbar in 3 Tag(en)

versandkostenfrei

Bestellnummer: 3221543

Buch 85.59 €

Jetzt vorbestellen

Mehr zum Inhalt Video Inhaltsverzeichnis

Andere Kunden interessierten sich auch für

TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton,

0 Sterne

Buch

96.29 €

Vorbestellen

Erschienen am 28.03.1991

Voraussichtlich lieferbar in 3 Tag(en)

TAPSOFT '93: Theory and Practice of Software Development

0 Sterne

Buch

139.09 €

Vorbestellen

Erschienen am 06.04.1993

Voraussichtlich lieferbar in 3 Tag(en)

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona

0 Sterne

Buch

85.59 €

Vorbestellen

Erschienen am 27.02.1989

Voraussichtlich lieferbar in 3 Tag(en)

TAPSOFT '95: Theory and Practice of Software Development

0 Sterne

Buch

139.09 €

Vorbestellen

Erschienen am 03.05.1995

Voraussichtlich lieferbar in 3 Tag(en)

TAPSOFT '97: Theory and Practice of Software Development

0 Sterne

Buch

129.99 €

In den Warenkorb

Erschienen am 02.04.1997

lieferbar

Algorithmic Language and Program Development

Friedrich L. Bauer, Hans Wössner

0 Sterne

Buch

80.24 €

Vorbestellen

Erschienen am 01.10.1982

Voraussichtlich lieferbar in 5 Tag(en)

Meta-Level Architectures and Reflection

0 Sterne

Buch

74.89 €

Vorbestellen

Erschienen am 09.07.1999

Voraussichtlich lieferbar in 3 Tag(en)

CAAP '92

0 Sterne

Buch

80.24 €

Vorbestellen

Erschienen am 19.02.1992

Voraussichtlich lieferbar in 3 Tag(en)

Trees in Algebra and Programming - CAAP '96

0 Sterne

Buch

74.89 €

Vorbestellen

Erschienen am 03.04.1996

Voraussichtlich lieferbar in 3 Tag(en)

Trees in Algebra and Programming - CAAP '94

0 Sterne

Buch

85.59 €

Vorbestellen

Erschienen am 23.03.1994

Voraussichtlich lieferbar in 3 Tag(en)

CAAP'86

0 Sterne

Buch

80.24 €

Vorbestellen

Erschienen am 01.03.1986

Voraussichtlich lieferbar in 3 Tag(en)

CAAP '88

0 Sterne

Buch

74.89 €

Vorbestellen

Erschienen am 09.03.1988

Voraussichtlich lieferbar in 3 Tag(en)

CAAP '83

0 Sterne

Buch

93.08 €

Vorbestellen

Erschienen am 01.10.1983

Voraussichtlich lieferbar in 3 Tag(en)

Coordination Languages and Models

0 Sterne

Buch

96.29 €

Vorbestellen

Erschienen am 03.04.1996

Voraussichtlich lieferbar in 3 Tag(en)

Programming Languages: Principles and Paradigms

Maurizio Gabbrielli, Simone Martini

0 Sterne

Buch

31.00 €

In den Warenkorb

Erschienen am 15.04.2010

lieferbar

Software Product Lines

0 Sterne

Buch

169.99 €

In den Warenkorb

Erschienen am 22.08.2006

lieferbar

Value-Based Software Engineering

0 Sterne

Buch

159.99 €

In den Warenkorb

Erschienen am 13.09.2005

lieferbar

Software Configuration Management Using VESTA

Allan Heydon, Roy Levin, Timothy Mann, Yuan Yu

0 Sterne

Buch

139.99 €

In den Warenkorb

lieferbar

Produktdetails

Produktbeschreibung
Inhaltsverzeichnis
Video
Biblio. Angaben / Produktdetails

Produktinformationen zu „TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, “

Klappentext zu „TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, “

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.

Inhaltsverzeichnis zu „TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, “

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.

Bibliographische Angaben

1989, 1989, 404 Seiten, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
Verlag: Springer, Berlin
ISBN-10: 3540509402
ISBN-13: 9783540509400
Erscheinungsdatum: 27.02.1989

Sprache:

Englisch

Kommentar zu "TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona,"

Keine Kommentare vorhanden

Jetzt bewerten

Schreiben Sie den ersten Kommentar zu "TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona,".

Kommentar verfassen

Andere Kunden kauften auch

TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton,

0 Sterne

Buch

96.29 €

Vorbestellen

Erschienen am 28.03.1991

Voraussichtlich lieferbar in 3 Tag(en)

TAPSOFT '93: Theory and Practice of Software Development

0 Sterne

Buch

139.09 €

Vorbestellen

Erschienen am 06.04.1993

Voraussichtlich lieferbar in 3 Tag(en)

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona

0 Sterne

Buch

85.59 €

Vorbestellen

Erschienen am 27.02.1989

Voraussichtlich lieferbar in 3 Tag(en)

TAPSOFT '95: Theory and Practice of Software Development

0 Sterne

Buch

139.09 €

Vorbestellen

Erschienen am 03.05.1995

Voraussichtlich lieferbar in 3 Tag(en)

TAPSOFT '97: Theory and Practice of Software Development

0 Sterne

Buch

129.99 €

In den Warenkorb

Erschienen am 02.04.1997

lieferbar

Algorithmic Language and Program Development

Friedrich L. Bauer, Hans Wössner

0 Sterne

Buch

80.24 €

Vorbestellen

Erschienen am 01.10.1982

Voraussichtlich lieferbar in 5 Tag(en)

Meta-Level Architectures and Reflection

0 Sterne

Buch

74.89 €

Vorbestellen

Erschienen am 09.07.1999

Voraussichtlich lieferbar in 3 Tag(en)

CAAP '92

0 Sterne

Buch

80.24 €

Vorbestellen

Erschienen am 19.02.1992

Voraussichtlich lieferbar in 3 Tag(en)

Trees in Algebra and Programming - CAAP '96

0 Sterne

Buch

74.89 €

Vorbestellen

Erschienen am 03.04.1996

Voraussichtlich lieferbar in 3 Tag(en)

Trees in Algebra and Programming - CAAP '94

0 Sterne

Buch

85.59 €

Vorbestellen

Erschienen am 23.03.1994

Voraussichtlich lieferbar in 3 Tag(en)

CAAP'86

0 Sterne

Buch

80.24 €

Vorbestellen

Erschienen am 01.03.1986

Voraussichtlich lieferbar in 3 Tag(en)

CAAP '88

0 Sterne

Buch

74.89 €

Vorbestellen

Erschienen am 09.03.1988

Voraussichtlich lieferbar in 3 Tag(en)

CAAP '83

0 Sterne

Buch

93.08 €

Vorbestellen

Erschienen am 01.10.1983

Voraussichtlich lieferbar in 3 Tag(en)

Coordination Languages and Models

0 Sterne

Buch

96.29 €

Vorbestellen

Erschienen am 03.04.1996

Voraussichtlich lieferbar in 3 Tag(en)

Programming Languages: Principles and Paradigms

Maurizio Gabbrielli, Simone Martini

0 Sterne

Buch

31.00 €

In den Warenkorb

Erschienen am 15.04.2010

lieferbar

CAAP '90

0 Sterne

Buch

109.99 €

In den Warenkorb

Erschienen am 25.04.1990

lieferbar

Software Product Lines

0 Sterne

Buch

169.99 €

In den Warenkorb

Erschienen am 22.08.2006

lieferbar

Value-Based Software Engineering

0 Sterne

Buch

159.99 €

In den Warenkorb

Erschienen am 13.09.2005

lieferbar

Weitere Empfehlungen zu „TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, “