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: 3221546
Price: 85.59 EUR
Availability: PreOrder
ISBN: 3540509399

TAPSOFT '89. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 (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: 3221546

Buch 85.59 €

Jetzt vorbestellen

Kauf auf Rechnung
Kostenlose Rücksendung
Ratenzahlung möglich

Voraussichtlich lieferbar in 3 Tag(en)

versandkostenfrei

Bestellnummer: 3221546

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)

CAAP '90

0 Sterne

Buch

109.99 €

In den Warenkorb

Erschienen am 25.04.1990

lieferbar

CAAP '92

0 Sterne

Buch

80.24 €

Vorbestellen

Erschienen am 19.02.1992

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)

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 '81

0 Sterne

Buch

74.89 €

Vorbestellen

Erschienen am 01.06.1981

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

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 '93: Theory and Practice of Software Development

0 Sterne

Buch

139.09 €

Vorbestellen

Erschienen am 06.04.1993

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

Computer Aided Verification

0 Sterne

Buch

93.08 €

Vorbestellen

Erschienen am 17.07.1996

Voraussichtlich lieferbar in 3 Tag(en)

Agentenorientierte Softwareentwicklung

Ralf Jakob, Gerhard Weiß

0 Sterne

Buch

59.99 €

In den Warenkorb

Erschienen am 22.09.2004

lieferbar

Formal Methods for Components and Objects, FMCO 2002

Marcello Bonsangue, Susanne Graf, Willem P. DeRoever

0 Sterne

Buch

96.29 €

Vorbestellen

Erschienen am 09.10.2003

Voraussichtlich lieferbar in 3 Tag(en)

Software Quality

0 Sterne

Buch

69.54 €

Vorbestellen

Erschienen am 09.02.2001

Voraussichtlich lieferbar in 3 Tag(en)

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 consisted 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 “

The varieties of programming language.- Independence of negative constraints.- Completion procedures as transition rules + control.- A modular framework for specification and implementation.- On the existence of initial models for partial (higher-order) conditional specifications.- Terms and infinite trees as monads over a signature.- The subsequence graph of a text.- Syntactical properties of unbounded nets of processors.- Shuffle equations, parallel transition systems and equational Petri nets.- Towards a lambda-calculus for concurrent and communicating systems.- A distributed, net oriented semantics for Delta Prolog.- Continuation semantics for PROLOG with cut.- Labeled trees and relations on generating functions.- Proofs of declarative properties of logic programs.- The reachability problem for ground TRS and some extensions.- Order-sorted completion: The many-sorted way.- Algebraization and integrity constraints for an extended entity-relationship approach.- Decidable boundedness problems for hyperedge-replacement graph grammars.- Implementation of parameterized observational specifications.- Priority controlled incremental attribute evaluation in attributed graph grammars.- Some applications and techniques for generating functions.- Semi-constructive formal systems and axiomatization of abstract data types.- Inductive proofs by resolution and paramodulation.- Local model checking in the modal mu-calculus.

Bibliographische Angaben

1989, 1989, 408 Seiten, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
Verlag: Springer, Berlin
ISBN-10: 3540509399
ISBN-13: 9783540509394
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)

CAAP '90

0 Sterne

Buch

109.99 €

In den Warenkorb

Erschienen am 25.04.1990

lieferbar

CAAP '92

0 Sterne

Buch

80.24 €

Vorbestellen

Erschienen am 19.02.1992

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)

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 '81

0 Sterne

Buch

74.89 €

Vorbestellen

Erschienen am 01.06.1981

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

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 '93: Theory and Practice of Software Development

0 Sterne

Buch

139.09 €

Vorbestellen

Erschienen am 06.04.1993

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

Praktische Informationstechnik mit C# / Xpert.press

Oliver Kluge

0 Sterne

eBook

47.65 €

Download bestellen

Erschienen am 02.08.2006

sofort als Download lieferbar

Computer Aided Verification

0 Sterne

Buch

93.08 €

Vorbestellen

Erschienen am 17.07.1996

Voraussichtlich lieferbar in 3 Tag(en)

Agentenorientierte Softwareentwicklung

Ralf Jakob, Gerhard Weiß

0 Sterne

Buch

59.99 €

In den Warenkorb

Erschienen am 22.09.2004

lieferbar

Formal Methods for Components and Objects, FMCO 2002

Marcello Bonsangue, Susanne Graf, Willem P. DeRoever

0 Sterne

Buch

96.29 €

Vorbestellen

Erschienen am 09.10.2003

Voraussichtlich lieferbar in 3 Tag(en)

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