Advances in Temporal Logic: Applied Logic Series, cartea 16
Editat de Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Goughen Limba Engleză Hardback – 31 dec 1999
Toate formatele și edițiile | Preț | Express |
---|---|---|
Paperback (1) | 902.03 lei 6-8 săpt. | |
SPRINGER NETHERLANDS – 8 dec 2010 | 902.03 lei 6-8 săpt. | |
Hardback (1) | 909.22 lei 6-8 săpt. | |
SPRINGER NETHERLANDS – 31 dec 1999 | 909.22 lei 6-8 săpt. |
Din seria Applied Logic Series
- 23% Preț: 600.39 lei
- 18% Preț: 1055.67 lei
- 20% Preț: 943.52 lei
- 18% Preț: 906.52 lei
- 15% Preț: 612.63 lei
- 18% Preț: 1160.74 lei
- 18% Preț: 905.75 lei
- 18% Preț: 906.80 lei
- 15% Preț: 605.98 lei
- 18% Preț: 895.78 lei
- 18% Preț: 899.34 lei
- 18% Preț: 902.03 lei
- 15% Preț: 603.53 lei
- 15% Preț: 605.85 lei
- 20% Preț: 948.85 lei
- 15% Preț: 611.24 lei
- 18% Preț: 906.68 lei
- 15% Preț: 614.82 lei
- 18% Preț: 902.79 lei
- 15% Preț: 558.57 lei
- 15% Preț: 614.52 lei
- 18% Preț: 1058.83 lei
- 20% Preț: 320.27 lei
- 18% Preț: 905.46 lei
- 18% Preț: 897.26 lei
Preț: 909.22 lei
Preț vechi: 1108.80 lei
-18% Nou
Puncte Express: 1364
Preț estimativ în valută:
174.07€ • 188.60$ • 145.36£
174.07€ • 188.60$ • 145.36£
Carte tipărită la comandă
Livrare economică 12-26 decembrie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9780792361497
ISBN-10: 0792361490
Pagini: 453
Ilustrații: IX, 453 p.
Dimensiuni: 156 x 234 x 31 mm
Greutate: 0.86 kg
Ediția:2000
Editura: SPRINGER NETHERLANDS
Colecția Springer
Seria Applied Logic Series
Locul publicării:Dordrecht, Netherlands
ISBN-10: 0792361490
Pagini: 453
Ilustrații: IX, 453 p.
Dimensiuni: 156 x 234 x 31 mm
Greutate: 0.86 kg
Ediția:2000
Editura: SPRINGER NETHERLANDS
Colecția Springer
Seria Applied Logic Series
Locul publicării:Dordrecht, Netherlands
Public țintă
ResearchCuprins
A Hierarchy of Modal Event Calculi: Expressiveness and Complexity; I. Cervesato, et al. Release Logics for Temporalizing Dynamic Logic; J. Krabbendam, J.-J. Meyer. Compositional Verification of Timed Statecharts; F. Levi. Temporal Logic for Stabilizing Systems; Y. Lakhnech, M. Siegel. Decidable Theories of omega-Layered Metric Temporal Structures; A. Montanari, et al. Synthesis with Incomplete Information; O. Kupferman, M. Vardi. Deductive Verification of Parameterized Fault-Tolerant Systems: A Case Study; N.S. Bjørner, et al. Using Otter for Temporal Resolution; C. Dixon. Guiding Clausal Temporal Resolution; M. Fisher, C. Dixon. Determinism and the Origins of Temporal Logic; T. Bräuner, et al. Modelling Linguistic Events; M. Leith, J. Cunningham. A Dynamic Temporal Logic for Aspectual Phenomena in Natural Language; R. Naumann. A Decidable Temporal Logic for Temporal Propositions; I. Pratt, N. Francez. Transitions in Continuous Time, with an Application to Qualitative Changes in Spatial Relations; A. Galton. A Modal Logic of Durative Actions; I. Nunes, et al. About Real Time, Calendar Systems and Temporal Notions; H.J. Ohlbach. A Model Checking Algorithm for pi-Calculus Agents; S. Gnesi, G. Ristori. Interleaving Model and Verification of Distributed Probabilistic Real-Time Systems; T. Luo, et al. Constructive Interval Temporal Logic in Alf; S. Thompson. Two-dimensional Executable Temporal Logic for Bitemporal Databases; M. Finger, M. Reynolds. Execution and Proof in a Horn-Clause Temporal Logic; C. Dixon, et al. Specification and Prototyping of Structures Multimedia Documents using Interval Temporal Logic; H. Bowman, et al.