Computing in Systems Described by Equations
Autor M. J. O'Donnellen Limba Engleză Paperback – dec 1977
Preț: 116.76 lei
Preț vechi: 145.95 lei
-20%
Puncte Express: 175
Preț estimativ în valută:
20.65€ • 24.34$ • 17.82£
20.65€ • 24.34$ • 17.82£
Carte tipărită la comandă
Livrare economică 19 martie-02 aprilie
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ț: 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 -
-20%Preț: 1259.72 lei1574.65 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ț: 322.61 lei403.26 lei -
-20%Preț: 636.70 lei795.87 lei -
-20%Preț: 328.79 lei410.99 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.