Artículos relacionados a TAPSOFT '87. Proceedings of the International Joint...
TAPSOFT '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987: Volume 1: ... in: 249 (Lecture Notes in Computer Science) - Tapa blanda
- EditorialSpringer
- Año de publicación2008
- ISBN 10 3540176608
- ISBN 13 9783540176602
- EncuadernaciónTapa blanda
- Número de páginas312
Comprar nuevo
Ver este artículo
EUR 46,03
Gastos de envío:
EUR 2,46
A Estados Unidos de America
Los mejores resultados en AbeBooks
Imagen del vendedor
Tapsoft '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987 : Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (Caap '87)
Publicado por
Springer
(1987)
ISBN 10: 3540176608
ISBN 13: 9783540176602
Nuevo
Tapa blanda
Cantidad disponible: 5
Librería:
Valoración
Descripción Condición: New. Nº de ref. del artículo: 5899001-n
Comprar nuevo
EUR 46,03
Convertir moneda
Imagen del vendedor
TAPSOFT '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987 (Lecture Notes in Computer Science (249)) by Montanari, Ugo, Ehrig, Hartmut, Kowalski, Robert, Levi, Giorgio [Paperback ]
Publicado por
Springer
(1987)
ISBN 10: 3540176608
ISBN 13: 9783540176602
Nuevo
Soft Cover
Cantidad disponible: 10
Librería:
Valoración
Descripción Soft Cover. Condición: new. Nº de ref. del artículo: 9783540176602
Comprar nuevo
EUR 48,58
Convertir moneda
Imagen de archivo
TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987: Volume 1: . '87) (Lecture Notes in Computer Science, 249)
Publicado por
Springer
(1987)
ISBN 10: 3540176608
ISBN 13: 9783540176602
Nuevo
Tapa blanda
Cantidad disponible: 19
Librería:
Valoración
Descripción Condición: New. Nº de ref. del artículo: ABLIING23Mar3113020161456
Comprar nuevo
EUR 51,90
Convertir moneda
Imagen de archivo
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 Softwar
Publicado por
Springer
(1987)
ISBN 10: 3540176608
ISBN 13: 9783540176602
Nuevo
Tapa blanda
Cantidad disponible: > 20
Librería:
Valoración
Descripción Condición: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Nº de ref. del artículo: ria9783540176602_lsuk
Comprar nuevo
EUR 44,00
Convertir moneda
Gastos de envío:
EUR 11,86
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen del vendedor
TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987
Publicado por
Springer Berlin Heidelberg Feb 1987
(1987)
ISBN 10: 3540176608
ISBN 13: 9783540176602
Nuevo
Taschenbuch
Cantidad disponible: 2
Librería:
Valoración
Descripción Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 312 pp. Englisch. Nº de ref. del artículo: 9783540176602
Comprar nuevo
EUR 37,44
Convertir moneda
Gastos de envío:
EUR 23,00
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen del vendedor
Tapsoft '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987 : Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (Caap '87)
Publicado por
Springer
(1987)
ISBN 10: 3540176608
ISBN 13: 9783540176602
Nuevo
Tapa blanda
Cantidad disponible: 5
Librería:
Valoración
Descripción Condición: New. Nº de ref. del artículo: 5899001-n
Comprar nuevo
EUR 43,98
Convertir moneda
Gastos de envío:
EUR 17,82
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen del vendedor
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)
Publicado por
Springer Berlin Heidelberg
(1987)
ISBN 10: 3540176608
ISBN 13: 9783540176602
Nuevo
Taschenbuch
Cantidad disponible: 1
Librería:
Valoración
Descripción Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Nº de ref. del artículo: 9783540176602
Comprar nuevo
EUR 43,20
Convertir moneda
Gastos de envío:
EUR 32,99
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo
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)
Publicado por
Springer
(1987)
ISBN 10: 3540176608
ISBN 13: 9783540176602
Nuevo
Tapa blanda
Cantidad disponible: 15
Librería:
Valoración
Descripción Condición: New. Nº de ref. del artículo: V9783540176602
Comprar nuevo
EUR 71,43
Convertir moneda
Gastos de envío:
EUR 10,50
De Irlanda a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen del vendedor
TAPSOFT 87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987
Publicado por
Springer Berlin Heidelberg
(1987)
ISBN 10: 3540176608
ISBN 13: 9783540176602
Nuevo
Tapa blanda
Cantidad disponible: > 20
Librería:
Valoración
Descripción Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 sch. Nº de ref. del artículo: 4883495
Comprar nuevo
EUR 35,19
Convertir moneda
Gastos de envío:
EUR 48,99
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo
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)
Publicado por
Springer
(1987)
ISBN 10: 3540176608
ISBN 13: 9783540176602
Nuevo
Tapa blanda
Cantidad disponible: 15
Librería:
Valoración
Descripción Condición: New. Nº de ref. del artículo: V9783540176602
Comprar nuevo
EUR 88,93
Convertir moneda