Computing in Systems Described by Equations
Autor M. J. O'Donnellen Limba Engleză Paperback – dec 1977
Preț: 117.13 lei
Preț vechi: 146.41 lei
-20%
Puncte Express: 176
Preț estimativ în valută:
20.72€ • 23.84$ • 17.89£
20.72€ • 23.84$ • 17.89£
Carte tipărită la comandă
Livrare economică 30 aprilie-14 mai
Specificații
ISBN-13: 9783540085317
ISBN-10: 3540085319
Pagini: 132
Ilustrații: XVI, 116 p.
Dimensiuni: 155 x 235 x 8 mm
Greutate: 0.21 kg
Ediția:1977
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540085319
Pagini: 132
Ilustrații: XVI, 116 p.
Dimensiuni: 155 x 235 x 8 mm
Greutate: 0.21 kg
Ediția:1977
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ț: 249.74 lei312.18 lei -
The Human Side of AgileGil BrozaPreț: 258.49 lei -
Software EngineeringPer Runeson-8%Preț: 468.01 lei508.70 lei -
Professional GitB LasterPreț: 290.34 lei -
-20%Preț: 1259.72 lei1574.65 lei -
Python AlgorithmsMagnus Lie Hetland-20%Preț: 456.53 lei570.66 lei -
The Definitive Guide to HTML5 WebSocketVanessa Wang-20%Preț: 370.00 lei462.49 lei -
Preț: 385.08 lei -
Continuous Delivery with Visual Studio ALM 2015Mathias Olausson-20%Preț: 297.01 lei371.26 lei -
Design It!Michael Keeling-20%Preț: 243.93 lei304.92 lei -
Mastering ServiceNow - Second EditionMartin Wood-20%Preț: 367.33 lei459.16 lei -
Algorithms and Architectures for Parallel ProcessingAnu G. Bourgeois-20%Preț: 324.22 lei405.27 lei -
Advanced Information Systems EngineeringZohra Bellahsène-20%Preț: 639.87 lei799.83 lei -
Product-Focused Software Process ImprovementAndreas Jedlitschka-20%Preț: 330.75 lei413.43 lei -
-20%Preț: 788.40 lei985.50 lei -
-20%Preț: 314.67 lei393.34 lei -
-20%Preț: 637.96 lei797.45 lei -
-20%Preț: 639.38 lei799.23 lei -
-20%Preț: 609.19 lei761.48 lei
Public țintă
ResearchCuprins
I: Introduction.- II: Syntax, semantics and proof theory for equational logic.- III: Subtree replacement systems.- IV: The confluence property and the Church-Rosser property.- V: Termination.- VI: Costs of reduction sequences.- VII: Schematic definitions of SRSs.- VIII: Recursively defined functions.- IX: Applications of SRS theory to LISP and lucid.- X: Another approach to confluence, termination, optimality.