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
Carte tipărită la comandă
Livrare economică 08-22 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: 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ț: 642.55 lei803.18 lei -
KanbanDavid J. Anderson-20%Preț: 254.39 lei317.98 lei -
The Human Side of AgileGil BrozaPreț: 258.49 lei -
Software EngineeringPer Runeson-8%Preț: 478.98 lei520.62 lei -
Professional GitBrent Laster-20%Preț: 256.30 lei320.38 lei -
-20%Preț: 1259.72 lei1574.65 lei -
Python AlgorithmsMagnus Lie Hetland-20%Preț: 468.00 lei584.99 lei -
The Definitive Guide to HTML5 WebSocketVanessa Wang-20%Preț: 372.28 lei465.36 lei -
Head First AgileAndrew Stellman-20%Preț: 337.90 lei422.37 lei -
Continuous Delivery with Visual Studio ALM 2015Mathias Olausson-20%Preț: 299.70 lei374.63 lei -
Design It!Michael Keeling-20%Preț: 250.02 lei312.52 lei -
Mastering ServiceNow - Second EditionMartin Wood-20%Preț: 368.74 lei460.93 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 -
Verification and Validation in Systems EngineeringMourad Debbabi-20%Preț: 799.40 lei999.26 lei -
-20%Preț: 314.67 lei393.34 lei -
-20%Preț: 637.96 lei797.45 lei -
-20%Preț: 639.38 lei799.23 lei -
-20%Preț: 615.05 lei768.82 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.