Warenkorb
€ 0,00 0 Buch dabei,
portofrei
TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 als Buch
PORTO-
FREI

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

Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra…
Buch (kartoniert)
Ihr 12%-Rabatt auf alle Spielwaren, Hörbücher, Filme, Musik u.v.m
 
12% Rabatt sichern mit Gutscheincode: NIKOLAUS12
 
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 Deve … weiterlesen
Buch

85,49 *

inkl. MwSt.
Portofrei
Lieferbar innerhalb von zwei bis drei Werktagen
TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 als Buch

Produktdetails

Titel: TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989
Autor/en: Josep Díaz, Fernando Orejas

ISBN: 3540509399
EAN: 9783540509394
Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '89).
'Lecture Notes in Computer Science'.
Auflage 1989.
Book.
Sprache: Englisch.
Herausgegeben von Josep Diaz, Fernando Orejas
Springer Berlin Heidelberg

27. Februar 1989 - kartoniert - 408 Seiten

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

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.
Servicehotline
089 - 70 80 99 47

Mo. - Fr. 8.00 - 20.00 Uhr
Sa. 10.00 - 20.00 Uhr
Filialhotline
089 - 30 75 75 75

Mo. - Sa. 9.00 - 20.00 Uhr
Bleiben Sie in Kontakt:
Sicher & bequem bezahlen:
akzeptierte Zahlungsarten: Überweisung, offene Rechnung,
Visa, Master Card, American Express, Paypal
Zustellung durch:
* Alle Preise verstehen sich inkl. der gesetzlichen MwSt. Informationen über den Versand und anfallende Versandkosten finden Sie hier.
** Deutschsprachige eBooks und Bücher dürfen aufgrund der in Deutschland geltenden Buchpreisbindung und/oder Vorgaben von Verlagen nicht rabattiert werden. Soweit von uns deutschsprachige eBooks und Bücher günstiger angezeigt werden, wurde bei diesen kürzlich von den Verlagen der Preis gesenkt oder die Buchpreisbindung wurde für diese Titel inzwischen aufgehoben. Angaben zu Preisnachlässen beziehen sich auf den dargestellten Vergleichspreis.