Temporale Logik

7 books
Reasoning about changeYoav Shoham
⏱ 3h 20m

Reasoning about change

Yoav Shoham

1987200 pp.
Temporal logic for real-time systemsJonathan S. Ostroff
⏱ 3h 29m

Temporal logic for real-time systems

Jonathan S. Ostroff

1989209 pp.
Temporal logic of programsFred Kröger
⏱ 2h 28m

Temporal logic of programs

Fred Kröger

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

Temporal logic in specification

Howard Barringer

1989448 pp.
Formal modeling and analysis of timed systemsWang Yi
⏱ 5h 5m

Formal modeling and analysis of timed systems

Wang Yi

2005305 pp.
Formal Modeling and Analysis of Timed SystemsJoël Ouaknine

Formal Modeling and Analysis of Timed Systems

Joël Ouaknine

2009No page data
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.