Mathematics of Program Construction
Editat de Eerke A. Boiten, Bernhard Mölleren Limba Engleză Paperback – 26 iun 2002
Preț: 320.16 lei
Preț vechi: 400.20 lei
-20%
Puncte Express: 480
Carte tipărită la comandă
Livrare economică 16-30 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: 9783540438571
ISBN-10: 3540438572
Pagini: 280
Ilustrații: X, 263 p.
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.43 kg
Ediția:2002
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540438572
Pagini: 280
Ilustrații: X, 263 p.
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.43 kg
Ediția:2002
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
-20%Preț: 328.48 lei410.60 lei -
Preț: 251.03 lei -
Preț: 243.27 lei -
Preț: 245.29 lei -
Preț: 372.72 lei -
Graph-Theoretic Concepts in Computer ScienceUlrik Brandes-20%Preț: 323.81 lei404.76 lei -
Languages, Compilers, and Run-Time Systems for Scalable ComputersSandhya Dwarkadas-20%Preț: 322.99 lei403.74 lei -
Randomness and Completeness in Computational ComplexityDieter van Melkebeek-20%Preț: 318.06 lei397.57 lei -
Object-Oriented Technology: ECOOP 2000 Workshop ReaderJacques Malenfant-20%Preț: 323.60 lei404.50 lei -
Objective Coordination in Multi-Agent System EngineeringMichael Schumacher-20%Preț: 315.40 lei394.24 lei -
Programs as Data ObjectsOlivier Danvy-20%Preț: 321.94 lei402.43 lei -
DNA ComputingAnne Condon-20%Preț: 321.56 lei401.94 lei -
-20%Preț: 330.36 lei412.95 lei -
Java on Smart Cards: Programming and SecurityIsabelle Attali-20%Preț: 315.75 lei394.68 lei -
ECOOP 2001 - Object-Oriented ProgrammingJorgen Lindskov Knudsen-20%Preț: 329.74 lei412.17 lei -
-20%Preț: 324.35 lei405.44 lei -
-20%Preț: 322.93 lei403.66 lei -
Mathematics of Program ConstructionBernhard Möller-20%Preț: 328.92 lei411.14 lei -
-20%Preț: 326.55 lei408.19 lei -
-20%Preț: 793.92 lei992.40 lei -
Relations and Kleene Algebra in Computer ScienceRudolf Berghammer-20%Preț: 323.21 lei404.02 lei -
Experimental AlgorithmsPaola Festa-20%Preț: 635.55 lei794.44 lei -
-20%Preț: 328.16 lei410.20 lei -
-20%Preț: 321.81 lei402.26 lei -
-20%Preț: 324.99 lei406.23 lei -
-20%Preț: 319.42 lei399.28 lei -
-20%Preț: 644.93 lei806.17 lei -
-20%Preț: 322.61 lei403.26 lei -
-20%Preț: 326.55 lei408.19 lei
Public țintă
ResearchCuprins
Invited Talks.- Implementing Algebraic Dynamic Programming in the Functional and the Imperative Programming Paradigm.- Some Results in Dynamic Model Theory.- Mathematics in Computer Science Curricula.- Contributed Papers.- Logical Relations and Galois Connections.- Transformational Derivation of Greedy Network Algorithms from Descriptive Specifications.- Fine Control of Demand in Haskell.- Reasoning about Timeouts.- Eternity Variables to Simulate Specifications.- Constructing Tournament Representations: An Exercise in Pointwise Relational Programming.- Type-Indexed Data Types.- Verification of Java’s AbstractCollection Class: A Case Study.- Solving Regular Path Queries.- Inverting Functions as Folds.- From Kleene Algebra to Refinement Algebra.