Logique Temporelle

12 books
Tense logicRobert P. McArthur
⏱ 1h 24m

Tense logic

Robert P. McArthur

197684 pp.
Past, present and futureA. N. Prior
⏱ 3h 48m

Past, present and future

A. N. Prior

1967228 pp.
Logics of ProgramsD. Kozen
⏱ 8h 9m

Logics of Programs

D. Kozen

1982489 pp.
De la logique modale à la logique des bases de donnéesAndré Thayse
⏱ 7h 7m

De la logique modale à la logique des bases de données

André Thayse

1989427 pp.
Time to beEileen Campbell
⏱ 3h 21m

Time to be

Eileen Campbell

1999201 pp.
Temporal logic in specificationHoward Barringer
⏱ 7h 28m

Temporal logic in specification

Howard Barringer

1989448 pp.
Outils logiques pour le traitement du tempsHélène Bestougeff
⏱ 4h 32m

Outils logiques pour le traitement du temps

Hélène Bestougeff

1989272 pp.
Foundations of software technology and theoretical computer scienceV. Vinay
⏱ 6h 27m

Foundations of software technology and theoretical computer science

V. Vinay

1996387 pp.
Linear Time, Branching Time and Partial Order in Logics and Models for ConcurrencyWillem-Paul de Roever
⏱ 11h 53m

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency

Willem-Paul de Roever

1989713 pp.
Le Raisonnement en intelligence artificielleJean-Paul Haton
⏱ 8h 0m

Le Raisonnement en intelligence artificielle

Jean-Paul Haton

1991480 pp.
Logics and models of concurrent systemsNATO Advanced Study Institute on Logics and Models of Concurrent Systems (1984 La Colle-sur-Loup, France)
⏱ 8h 18m

Logics and models of concurrent systems

NATO Advanced Study Institute on Logics and Models of Concurrent Systems (1984 La Colle-sur-Loup, France)

1985498 pp.
Verifying concurrent processes using temporal logicBrent T. Hailpern
⏱ 3h 28m

Verifying concurrent processes using temporal logic

Brent T. Hailpern

1982208 pp.