Programming Languages and Systems: 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European: Lecture Notes in Computer Science, cartea 3924
Editat de Peter Sestoften Limba Engleză Paperback – 16 mar 2006
Din seria Lecture Notes in Computer Science
- 20%
Preț: 1020.28 lei -
Preț: 395.25 lei - 20%
Preț: 327.36 lei - 20%
Preț: 556.96 lei - 20%
Preț: 400.77 lei - 15%
Preț: 558.12 lei - 20%
Preț: 328.94 lei - 20%
Preț: 340.04 lei - 20%
Preț: 487.46 lei - 20%
Preț: 629.71 lei - 20%
Preț: 386.08 lei - 20%
Preț: 489.11 lei - 20%
Preț: 620.33 lei - 20%
Preț: 733.68 lei - 20%
Preț: 1033.45 lei - 20%
Preț: 782.57 lei - 20%
Preț: 679.09 lei - 20%
Preț: 330.54 lei - 20%
Preț: 1137.10 lei - 20%
Preț: 435.28 lei - 20%
Preț: 375.72 lei - 20%
Preț: 342.61 lei - 20%
Preț: 432.78 lei - 20%
Preț: 904.16 lei - 20%
Preț: 1391.87 lei - 20%
Preț: 373.80 lei - 20%
Preț: 400.17 lei - 20%
Preț: 1359.66 lei - 20%
Preț: 984.64 lei - 20%
Preț: 560.93 lei - 20%
Preț: 731.97 lei - 20%
Preț: 563.29 lei - 20%
Preț: 403.00 lei - 20%
Preț: 793.92 lei - 20%
Preț: 324.19 lei - 20%
Preț: 733.68 lei - 20%
Preț: 336.86 lei - 20%
Preț: 327.36 lei - 20%
Preț: 573.45 lei - 20%
Preț: 558.53 lei - 20%
Preț: 850.42 lei - 20%
Preț: 560.93 lei - 20%
Preț: 560.93 lei - 20%
Preț: 631.96 lei - 20%
Preț: 568.70 lei - 20%
Preț: 488.90 lei - 20%
Preț: 293.24 lei
Preț: 322.74 lei
Preț vechi: 403.43 lei
-20%
Puncte Express: 484
Preț estimativ în valută:
57.05€ • 68.03$ • 49.49£
57.05€ • 68.03$ • 49.49£
Carte tipărită la comandă
Livrare economică 16-30 martie
Specificații
ISBN-13: 9783540330950
ISBN-10: 354033095X
Pagini: 355
Ilustrații: XII, 342 p.
Dimensiuni: 155 x 235 x 24 mm
Greutate: 0.5 kg
Ediția:2006
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Theoretical Computer Science and General Issues
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 354033095X
Pagini: 355
Ilustrații: XII, 342 p.
Dimensiuni: 155 x 235 x 24 mm
Greutate: 0.5 kg
Ediția:2006
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Theoretical Computer Science and General Issues
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Types for Hierarchic Shapes.- Linear Regions Are All You Need.- Type-Based Amortised Heap-Space Analysis.- Haskell Is Not Not ML.- Coinductive Big-Step Operational Semantics.- Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types.- Approaches to Polymorphism in Classical Sequent Calculus.- Pure Pattern Calculus.- A Verification Methodology for Model Fields.- ILC: A Foundation for Automated Reasoning About Pointer Programs.- Bisimulations for Untyped Imperative Objects.- A Typed Assembly Language for Confidentiality.- Flow Locks: Towards a Core Calculus for Dynamic Flow Policies.- A Basic Contract Language for Web Services.- Types for Dynamic Reconfiguration.- Size-Change Termination Analysis in k-Bits.- Path Optimization in Programs and Its Application to Debugging.- Inference of User-Defined Type Qualifiers and Qualifier Rules.- Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions.- Embedding Dynamic Dataflow in a Call-by-Value Language.- Polymorphic Type Inference for the JNI.- Type Safety of Generics for the .NET Common Language Runtime.- The Weird World of Bi-directional Programming.