Logic Based Program Synthesis and Transformation
Editat de Kung-Kiu Lauen Limba Engleză Paperback – mai 2001
Preț: 316.83 lei
Preț vechi: 396.04 lei
-20%
Puncte Express: 475
Carte tipărită la comandă
Livrare economică 08-22 iulie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9783540421276
ISBN-10: 3540421270
Pagini: 196
Ilustrații: VIII, 188 p.
Dimensiuni: 155 x 235 x 11 mm
Greutate: 0.31 kg
Ediția:2001
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540421270
Pagini: 196
Ilustrații: VIII, 188 p.
Dimensiuni: 155 x 235 x 11 mm
Greutate: 0.31 kg
Ediția:2001
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
-27%Preț: 676.09 lei926.15 lei -
-20%Preț: 642.55 lei803.18 lei -
KanbanDavid J. Anderson-20%Preț: 254.39 lei317.98 lei -
The Human Side of AgileGil BrozaPreț: 258.49 lei -
Software EngineeringPer Runeson-8%Preț: 478.98 lei520.62 lei -
Professional GitBrent Laster-20%Preț: 256.30 lei320.38 lei -
Python AlgorithmsMagnus Lie Hetland-20%Preț: 468.00 lei584.99 lei -
The Definitive Guide to HTML5 WebSocketVanessa Wang-20%Preț: 372.28 lei465.36 lei -
Head First AgileAndrew Stellman-20%Preț: 337.90 lei422.37 lei -
Continuous Delivery with Visual Studio ALM 2015Mathias Olausson-20%Preț: 299.70 lei374.63 lei -
Design It!Michael Keeling-20%Preț: 250.02 lei312.52 lei -
Mastering ServiceNow - Second EditionMartin Wood-20%Preț: 368.74 lei460.93 lei -
-20%Preț: 630.01 lei787.52 lei -
-20%Preț: 319.42 lei399.28 lei -
Program Development in Computational LogicMaurice Bruynooghe-20%Preț: 335.32 lei419.15 lei -
Formal Methods and Software EngineeringKung-Kiu Lau-20%Preț: 333.24 lei416.55 lei -
-20%Preț: 325.25 lei406.56 lei -
Compiler ConstructionRajiv Gupta-20%Preț: 324.41 lei405.51 lei -
Software Language EngineeringMark van den Brand-20%Preț: 327.27 lei409.09 lei -
-20%Preț: 319.42 lei399.28 lei -
-20%Preț: 329.74 lei412.17 lei -
-20%Preț: 324.19 lei405.23 lei -
-20%Preț: 322.61 lei403.26 lei -
Service-Oriented and Cloud ComputingKung-Kiu Lau-20%Preț: 292.49 lei365.61 lei -
Service-Oriented and Cloud ComputingMassimo Villari-20%Preț: 317.04 lei396.30 lei
Public țintă
ResearchCuprins
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.