Temporal Logic of Programs
Autor Fred Krögeren Limba Engleză Paperback – 17 noi 2011
Preț: 313.49 lei
Preț vechi: 391.86 lei
-20%
Puncte Express: 470
Carte tipărită la comandă
Livrare economică 13-27 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: 9783642715518
ISBN-10: 3642715516
Pagini: 160
Ilustrații: VIII, 148 p.
Dimensiuni: 170 x 244 x 9 mm
Greutate: 0.29 kg
Ediția:Softcover reprint of the original 1st ed. 1987
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3642715516
Pagini: 160
Ilustrații: VIII, 148 p.
Dimensiuni: 170 x 244 x 9 mm
Greutate: 0.29 kg
Ediția:Softcover reprint of the original 1st ed. 1987
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
Cybersecurity and Applied MathematicsLeigh Metcalf-31%Preț: 328.28 lei472.43 lei -
Constraint Handling RulesThom Frühwirth-20%Preț: 387.68 lei484.60 lei -
Quantum Computing for Computer ScientistsNoson S. Yanofsky-19%Preț: 565.71 lei698.41 lei -
-23%Preț: 464.09 lei602.72 lei -
Preț: 399.97 lei -
Combinatorics on WordsFlorin Manea-20%Preț: 319.92 lei399.90 lei -
Inductive Logic ProgrammingJesse Davis-20%Preț: 318.27 lei397.84 lei -
-20%Preț: 319.58 lei399.48 lei -
Mathematical Analysis and the Mathematics of ComputationWerner Römisch-20%Preț: 597.02 lei746.29 lei -
Interactive Theorem ProvingJasmin Christian Blanchette-20%Preț: 333.41 lei416.76 lei -
Introduction to Mathematica® with ApplicationsMarian Mure¿an-20%Preț: 738.72 lei923.40 lei -
Arithmetic of Finite FieldsSylvain Duquesne-20%Preț: 321.74 lei402.18 lei -
Preț: 374.09 lei -
Theory and Applications of Models of ComputationT. V. Gopal-20%Preț: 343.86 lei429.81 lei -
Relational and Algebraic Methods in Computer SciencePeter Höfner-20%Preț: 324.22 lei405.27 lei -
-20%Preț: 319.92 lei399.90 lei -
Einführung in die InformatikFred Kröger-5%Preț: 450.55 lei474.26 lei -
Temporal Logic and State SystemsFred Kröger-20%Preț: 500.14 lei625.17 lei -
Models of Strategic ReasoningJohan Van Benthem-20%Preț: 324.61 lei405.76 lei -
Mathematik der QuanteninformatikWolfgang Scherer-20%Preț: 240.83 lei301.03 lei
Public țintă
Lower undergraduateCuprins
Logic and Programs.- Historical Remarks.- Some Concepts and Notions of Classical Logic.- I. Propositional Temporal Logic.- 1. A Language TTA of Propositional Temporal Logic.- 2. Semantics of TTA.- 3. Temporal Logical Laws.- 4. Some Further Temporal Operators.- II. Axiomatization of Propositional Temporal Logic.- 5. The Formal System ?TA.- 6. Completeness of ?TA.- 7. Induction Principles.- III. First-Order Temporal Logic.- 8. First-Order Temporal Languages and Their Semantics.- 9. The Formal System ?TP.- 10. The Principle of Well-Founded Orderings.- 11. Additional Propositional Variables.- IV. Temporal Semantics of Programs.- 12. Programs.- 13. Execution Sequences of Programs.- 14. Program Axioms.- 15. Description of Program Properties.- V. Invariance and Precedence Properties of Programs.- 16. The Basic Invariant Method.- 17. Examples of Applications.- 18. Invariant Methods for Precedence Properties.- 19. Examples of Applications.- VI. Eventuality Properties of Programs.- 20. Fair Execution Sequences.- 21. The Finite Chain Reasoning Method.- 22. The Method of Well-Founded Orderings.- 23. Examples of Applications.- VII. Special Methods for Sequential Programs.- 24. Hoare’s Calculus.- 25. The Intermittent Assertion Method.- 26. Examples of Applications.- Bibliographical Remarks.- Appendix: Table of Laws and Rules.- References.