Theory of Program Structures
Autor Sheila A. Greibachen Limba Engleză Paperback – 1975
Preț: 157.18 lei
Preț vechi: 196.47 lei
-20%
Puncte Express: 236
Preț estimativ în valută:
27.79€ • 32.77$ • 23.99£
27.79€ • 32.77$ • 23.99£
Carte tipărită la comandă
Livrare economică 19 martie-02 aprilie
Specificații
ISBN-13: 9783540074151
ISBN-10: 3540074155
Pagini: 388
Ilustrații: XVIII, 370 p.
Dimensiuni: 155 x 235 x 21 mm
Greutate: 0.59 kg
Ediția:1975
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540074155
Pagini: 388
Ilustrații: XVIII, 370 p.
Dimensiuni: 155 x 235 x 21 mm
Greutate: 0.59 kg
Ediția:1975
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
-27%Preț: 676.09 lei926.15 lei -
-20%Preț: 636.04 lei795.05 lei -
KanbanDavid J. Anderson-20%Preț: 252.39 lei315.50 lei -
The Human Side of AgileGil BrozaPreț: 258.49 lei -
Software EngineeringPer Runeson-8%Preț: 469.94 lei510.81 lei -
Professional GitB LasterPreț: 290.34 lei -
Python AlgorithmsMagnus Lie Hetland-20%Preț: 458.33 lei572.92 lei -
The Definitive Guide to HTML5 WebSocketVanessa Wang-20%Preț: 370.00 lei462.49 lei -
Preț: 384.69 lei -
Continuous Delivery with Visual Studio ALM 2015Mathias Olausson-20%Preț: 297.01 lei371.26 lei -
Design It!Michael Keeling-20%Preț: 244.90 lei306.13 lei -
Mastering ServiceNow - Second EditionMartin Wood-20%Preț: 367.33 lei459.16 lei -
-20%Preț: 317.23 lei396.54 lei -
-20%Preț: 320.37 lei400.47 lei -
Algebraic Methodology and Software TechnologyMichael Johnson-20%Preț: 637.87 lei797.35 lei -
Algebraic Methodology and Software TechnologyArmando M. Haeberer-20%Preț: 334.04 lei417.55 lei -
Logic-Based Program Synthesis and TransformationPierre Flener-20%Preț: 323.62 lei404.53 lei -
Fundamental Approaches to Software EngineeringTom Maibaum-20%Preț: 326.07 lei407.59 lei -
-20%Preț: 316.28 lei395.35 lei -
-20%Preț: 335.24 lei419.06 lei
Public țintă
ResearchCuprins
Program schemes — basic definitions and concepts.- Program schemes — basic properties.- Structured Programs.- Correctness and program verification.- Decision problems.- Recursion schemes.- Monadic recursion schemes.