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)

Häftad, Engelska, 1987

AvHartmut Ehrig,Robert Kowalski,Giorgio Levi,Ugo Montanari

499 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1987-02-27
Mått155 x 235 x 17 mm
Vikt476 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor294
Upplaga1987
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540176602

Tillhör följande kategorier

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

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

499 kr

Dynamic Macroeconomic Theory

Dynamic Macroeconomic Theory

Thomas J. Sargent

1 999 kr

Expert Systems Approach to Computer-Aided Design of Multivariable Systems

Expert Systems Approach to Computer-Aided Design of Multivariable Systems

Grantham K.H. Pang, Alistair G.J. MacFarlane, Grantham K. H. Pang, Alistair G. J. MacFarlane

689 kr

Digitale Regelsysteme

Digitale Regelsysteme

Rolf Isermann, Rolf Isermann

779 kr

The Relevance of the Beautiful and Other Essays

The Relevance of the Beautiful and Other Essays

Hans-Georg Gadamer, Gadamer Hans-Georg, Robert Bernasconi

369 kr

Ecological Studies in Tropical Fish Communities

Ecological Studies in Tropical Fish Communities

R. H. Lowe-McConnell, Ro McConnell

769 kr

How to Stop the Battle with Your Child

How to Stop the Battle with Your Child

Don Fleming, Linda Balahoutis

199 kr

Integrierte MOS-Schaltungen

Integrierte MOS-Schaltungen

Karlheinrich Horninger

709 kr

German Poetry

German Poetry

789 kr

Anthropological Studies of Religion

Anthropological Studies of Religion

Brian Morris, University of London) Morris, Brian (Goldsmiths

529 kr