Algorithimic Languages and Calculi
Autor Richard Bird, Lambert Meerkensen Limba Engleză Hardback – 31 iul 1997
Preț: 1235.90 lei
Preț vechi: 1544.86 lei
-20% Nou
Puncte Express: 1854
Preț estimativ în valută:
218.67€ • 254.75$ • 190.95£
218.67€ • 254.75$ • 190.95£
Carte tipărită la comandă
Livrare economică 19 ianuarie-02 februarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9780412820502
ISBN-10: 0412820501
Pagini: 443
Ilustrații: VIII, 443 p.
Dimensiuni: 156 x 234 x 25 mm
Greutate: 0.81 kg
Ediția:1997 edition
Editura: Springer Us
Locul publicării:New York, NY, United States
ISBN-10: 0412820501
Pagini: 443
Ilustrații: VIII, 443 p.
Dimensiuni: 156 x 234 x 25 mm
Greutate: 0.81 kg
Ediția:1997 edition
Editura: Springer Us
Locul publicării:New York, NY, United States
V-ar putea interesa
-
The Engineer’s Error Coding HandbookA. Houghton-20%Preț: 668.72 lei835.90 lei -
Quality of Numerical SoftwareRonald F Boisvert-20%Preț: 948.17 lei1185.21 lei -
97 Things Every Project Manager Should KnowBarbee Davis-20%Preț: 129.30 lei161.63 lei -
Preț: 131.39 lei -
Annuals for Your GardenRichard BirdPreț: 29.43 lei -
Growing TomatoesRichard BirdPreț: 37.44 lei -
Growing HerbsRichard BirdPreț: 36.89 lei -
Developing Real World SoftwareRichard Schlesinger-20%Preț: 419.19 lei523.99 lei -
Global Optimization in Engineering DesignIgnacio E. Grossmann-20%Preț: 1233.20 lei1541.50 lei -
Large-scale Optimization: Problems and MethodsVladimir Tsurkov-20%Preț: 956.27 lei1195.33 lei -
-20%Preț: 953.88 lei1192.35 lei -
Software ArchitecturePatrick Donohoe-20%Preț: 1245.46 lei1556.83 lei -
-20%Preț: 948.02 lei1185.02 lei -
Rapid Application Generation of Business and Finance SoftwareSukhdev Khebbal-20%Preț: 623.52 lei779.40 lei -
Handbook of Enterprise IntegrationMostafa Hashem Sherif-36%Preț: 818.11 lei1286.71 lei -
Optimization and Related TopicsAlexander M. Rubinov-20%Preț: 957.38 lei1196.72 lei -
Computer Aided Software EngineeringHausi A. Muller-20%Preț: 1218.28 lei1522.85 lei -
Software Engineering and DevelopmentEnrique A. Belini-41%Preț: 887.17 lei1514.14 lei -
First Fault Software Problem SolvingDan Skwire-20%Preț: 105.92 lei132.40 lei -
-20%Preț: 324.99 lei406.23 lei -
-20%Preț: 325.79 lei407.24 lei -
-20%Preț: 316.28 lei395.35 lei
Public țintă
ResearchCuprins
Preface. Programme committee. Dynamic programming: a different perspective - S. Curtis. Calculating with pointer structures - B. Moller. Deriving a systolic regular language recognizer - M. Vaccarri and R. Backhouse. Discussion. A calculation fusion system HYLO - Y. Onoue, Z. Hu, H. Iwasaki and M. Takeichi. Refinement of data parallel programs in PEI - E. Violard, S. Genaud and G-R. Perrin. Solving large systems of differential equations in parallel using covers and skeletons - M. Sudholt, C. Piepenbrock, K. Obermayer and P. Pepper. Discussion. Refinement of parameterized algebraic specifications - Y.V. Srinivas. Towards a compositional interpretation of object diagrams - J.C. Bicarregui, K.C. Lano and T.S.E. Maibaum. A powerful transformation rule, its applications and variants - K. Achatz and H. Partsch. Program derivation via list introduction - A. Pettorossi and M. Proietti. Towards a calculus for abstract syntax trees - D.S. Wile. Discussion. Principledstrength reduction - Y.A. Liu. The formal reconstruction and speedup of the linear time fragment of Willard's relational calculus subset - D. Goyal and R. Paige. Predicative semantics of loops - T.S. Norvell. Discussion. Index of contributors. Keyword index.