This item is printed on demand - it takes 3-4 days longer - Neuware -Specification and top down design of distributed systems.- Specification languages for distributed systems.- Semantically based programming tools (Summary).- From function level semantics to program transformation and optimization.- Inductively defined functions.- Three approaches to type structure.- On the maximum size of random trees.- Fast searching in a real algebraic manifold with applications to geometric complexity.- Typed categorical combinatory logic.- A path ordering for proving termination of term rewriting systems.- A rewrite rule based approach for synthesizing abstract data types.- �Delayability� in proofs of strong normalizability in the typed lambda Calculus.- Bisimulations and abstraction homomorphisms.- A metric characterization of fair computations in CCS.- A complete modal proof system for a subset of SCCS.- Amalgamation of graph transformations with applications to synchronization.- Decompilation of control structures by means of graph transformations.- Synchronized bottom-up tree automata and L-systems.- On observational equivalence and algebraic specification.- Parameter preserving data type specifications.- On the parameterized algebraic specification of concurrent systems.- The semantics of shared submodules specifications.- Why Horn formulas matter in computer science: Initial structures and generic examples.- On the implementation of abstract data types by programming language constructs.- A LISP compiler for FP language and its proof via algebraic semantics. 436 pp. Englisch.

Seller Inventory # 9783540151982

Contact seller

Report this item

Bibliographic Details

Title: Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
Publisher: Springer Berlin Heidelberg Mrz 1985
Publication Date: 1985
Language: English
ISBN 10: 3540151982
ISBN 13: 9783540151982
Binding: Taschenbuch
Condition: Neu
Dimensions: 235 millimeters width by 155 millimeters height by 24 millimeters depth
Weight: 657 grams

Store Description

Visit Seller's Storefront

Seller's business information

BuchWeltWeit Ludwig Meier e.K.
Germany

Sale & Shipping Terms

Terms of Sale

Allgemeine Gesch�ftsbedingungen mit Kundeninformationen
Inhaltsverzeichnis
Geltungsbereich
Vertragsschluss
Widerrufsrecht
Preise und Zahlungsbedingungen
Liefer- und Versandbedingungen
Eigentumsvorbehalt
M�ngelhaftung
Anwendbares Recht
Gerichtsstand
Alternative Streitbeilegung

Geltungsbereich
1.1 Diese Allgemeinen Gesch�ftsbedingungen (nachfolgend "AGB") des BuchWeltWeit Inh. Ludwig Meier e.K. (nachfolgend "Verk�ufer"), gelten f�r alle Vertr�ge, die ein Verbraucher oder Unternehmer (nachfolgend ?...

More Information

Shipping Terms

Der Versand ins Ausland findet IMMER mit DHL statt. Auch nach �sterreich verschicken wir nur mit DHL! Daher Standardversand == Luftpost!

Shipping rates from Germany to U.S.A.

Shipping rates from Germany to U.S.A.
Order quantity	5 to 15 business days	5 to 15 business days
First item	US$ 26.74	US$ 26.74

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.