Generic Programming
Editat de Mehdi Jazayeri, Rüdiger G. K. Loos, David R. Musseren Limba Engleză Paperback – 20 sep 2000
Preț: 321.36 lei
Preț vechi: 401.70 lei
-20%
Puncte Express: 482
Preț estimativ în valută:
56.83€ • 65.16$ • 49.11£
56.83€ • 65.16$ • 49.11£
Carte tipărită la comandă
Livrare economică 27 aprilie-11 mai
Specificații
ISBN-13: 9783540410904
ISBN-10: 3540410902
Pagini: 284
Ilustrații: X, 272 p.
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.44 kg
Ediția:2000
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540410902
Pagini: 284
Ilustrații: X, 272 p.
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.44 kg
Ediția:2000
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Foundations and Methodology Comparisons.- Fundamentals of Generic Programming.- Requirement Oriented Programming.- Generative Programming and Active Libraries.- The Refinement Relation of Graph-Based Generic Programs.- The Construction Principles of the Class Library Karla.- Programming Methodology.- Exception-Safety in Generic Components.- Segmented Iterators and Hierarchical Algorithms.- Theory and Generality of Complete Traversals.- A Data Abstraction Alternative to Data Structure/Algorithm Modularization.- Language Design.- Two Ways to Bake Your Pizza — Translating Parameterised Types into Java.- SuchThat — Generic Programming Works.- Specification and Verification.- Software Development in PVS Using Generic Development Steps.- Model Checking Generic Container Implementations.- Mizar Correctness Proofs of Generic Fraction Field Arithmetic.- Language Independent Container Specification.- Applications.- Applications of the Generic Programming Paradigm in the Design of CGAL.- Generic Programming in POOMA and PETE.- The STL Model in the Geometric Domain.- Generic Graph Algorithms.- A Generic Programming Environment for High-Performance Mathematical Libraries.
Caracteristici
Includes supplementary material: sn.pub/extras