Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers de Kung-Kiu Lau

Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers: Lecture Notes in Computer Science, cartea 2042

Editat de Kung-Kiu Lau

en Limba Engleză Paperback – mai 2001

Din seria Lecture Notes in Computer Science

20%

Preț: 323^.14 lei
20%

Preț: 461^.32 lei
20%

Preț: 460^.98 lei
20%

Preț: 390^.41 lei
20%

Preț: 526^.98 lei
15%

Preț: 388^.21 lei
20%

Preț: 461^.21 lei
20%

Preț: 390^.08 lei
20%

Preț: 496^.30 lei
20%

Preț: 461^.21 lei
20%

Preț: 389^.45 lei
15%

Preț: 461^.53 lei
20%

Preț: 389^.63 lei
20%

Preț: 496^.68 lei
20%

Preț: 461^.70 lei
20%

Preț: 251^.97 lei
20%

Preț: 390^.86 lei
20%

Preț: 532^.16 lei
20%

Preț: 461^.52 lei
20%

Preț: 255^.72 lei
20%

Preț: 498^.10 lei
20%

Preț: 497^.19 lei
20%

Preț: 499^.02 lei
20%

Preț: 389^.82 lei
20%

Preț: 390^.92 lei
20%

Preț: 390^.86 lei
20%

Preț: 390^.92 lei
20%

Preț: 390^.08 lei
20%

Preț: 461^.45 lei
20%

Preț: 392^.36 lei
20%

Preț: 460^.75 lei
20%

Preț: 461^.32 lei
20%

Preț: 389^.90 lei
20%

Preț: 639^.26 lei
20%

Preț: 390^.66 lei
20%

Preț: 391^.57 lei
20%

Preț: 389^.57 lei
20%

Preț: 497^.97 lei
20%

Preț: 462^.36 lei
20%

Preț: 460^.67 lei
20%

Preț: 423^.95 lei
5%

Preț: 515^.91 lei
15%

Preț: 535^.55 lei
20%

Preț: 531^.90 lei
20%

Preț: 403^.00 lei
20%

Preț: 535^.41 lei
20%

Preț: 461^.25 lei
20%

Preț: 498^.17 lei
20%

Preț: 461^.52 lei
20%

Preț: 249^.77 lei

Preț: 315^.00 lei

Preț vechi: 393^.74 lei
-20%

Puncte Express: 473

:
55^.75€ • 65^.15$ • 48^.40£

Carte tipărită la comandă

Livrare economică 20 februarie-06 martie

Adaugă în coș

Wish list
Gift list
Am citit!

Adaugă în listă

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540421276
ISBN-10: 3540421270
Pagini: 196
Ilustrații: VIII, 188 p.
Dimensiuni: 155 x 235 x 10 mm
Greutate: 0.28 kg
Ediția:2001
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

Synthesis.- A Formal Framework for Synthesis and Verification of Logic Programs.- Protocols between Programs and Proofs.- Protocols between Programs and Proofs.- A Technique for Modular Logic Program Refinement.- A Technique for Modular Logic Program Refinement.- Transformation.- Higher-Order Transformation of Logic Programs.- Analysis.- Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings.- Specialisation.- A Model for Inter-module Analysis and Optimizing Compilation.- Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages.- Automated Strategies for Specializing Constraint Logic Programs.- Abstract Interpretation.- Measuring the Precision of Abstract Interpretations.- Debugging.- Specifying Prolog Trace Models with a Continuation Semantics.

Caracteristici

Includes supplementary material: sn.pub/extras

Papetărie, jocuri, reviste