TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987

Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '87)

AvHartmut Ehrig,Robert Kowalski

Häftad, Engelska, 1987

Del i serien Lecture Notes in Computer Science

395 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1987-02-27
Mått:155 x 235 x 17 mm
Vikt:476 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:294
Upplaga:1987
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540176602

Utforska kategorier

Programmeringsböcker inom Data och IT

Innehållsförteckning

On the complexity of branching programs and decision trees for clique functions.- Average complexity of additive properties for multiway tries: A unified approach.- Longest common factor of two words.- An unification semi-algorithm for intersection type schemes.- Optimal run time optimization proved by a new look at abstract interpretations.- Transformation ordering.- On parametric algebraic specifications with clean error handling.- Toward formal development of programs from algebraic specifications: Implementations revisited.- Finite algebraic specifications of semicomputable data types.- On the semantics of concurrency: Partial orders and transition systems.- CCS without ?'s.- A fully observational model for infinite behaviours of communicating systems.- SMoLCS-driven concurrent calculi.- Parameterized horn clause specifications: Proof theory and correctness.- Partial composition and recursion of module specifications.- Efficient representation of taxonomies.- Applications of compactness in the Smyth powerdomain of streams.- Characterizing Kripke structures in temporal logic.- Dialogue with a proof system.- Induction principles formalized in the calculus of constructions.- Algebraic semantics.

Du kanske också är intresserad av

TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987

Hartmut Ehrig, Robert A. Kowalski, Giorgio Levi, Ugo Montanari

Häftad, 1987

395 kr

Dynamic Macroeconomic Theory

Thomas J. Sargent

Inbunden, 1987

956 kr

Graph Transformations

Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg

Häftad, 2006

542 kr

Handbook Of Graph Grammars And Computing By Graph Transformation - Volume 3: Concurrency, Parallelism, And Distribution

EHRIG H, Grzegorz Rozenberg, Hartmut Ehrig, Hans-jorg Kreowski, Ugo Montanari

Inbunden, 1999

1 944 kr

Albert Camus on the Sacred and the Secular

James W. Woelfel

Häftad, 1987

235 kr

The Relevance of the Beautiful and Other Essays

Hans-Georg Gadamer, Robert Bernasconi

Häftad, 1987

(1)

292 kr

Ecological Studies in Tropical Fish Communities

R. H. Lowe-McConnell

Häftad, 1987

617 kr

How to Stop the Battle with Your Child

Don Fleming

Häftad, 1987

154 kr

Foundations of Logic and Functional Programming

Mauro Boscarol, Luigia Carlucci Aiello, Giorgio Levi

Häftad, 1988

558 kr

Integrierte MOS-Schaltungen

Karlheinrich Horninger

Häftad, 1987

560 kr