howard barringer
Advances in Temporal Logic
EbookSofort lieferbarTime is a fascinating subject and has long since captured mankind's imagination, from the ancient...
Advances in Temporal Logic
BuchBezug 11-15Time is a fascinating subject and has long since captured mankind's imagination, from the ancient...
Advances in Temporal Logic
TaschenbuchBezug 16-20Time is a fascinating subject and has long since captured mankind's imagination, from the ancient...
Temporal Logic in Specification
TaschenbuchPrint on DemandComparing linear and branching time temporal logics.- Interleaving set temporal logic.- An expres...
A Survey of Verification Techniques for Parallel Programs
TaschenbuchPrint on DemandFlow & Suzuki: Total correctnes of parallel programs.- Jones: Development of interfering programs...
- 1