An introduction to practical formal methods using temporal logic /

An introduction to practical formal methods using temporal logic /

Bibliographic Details
Main Author: Fisher, Michael, 1962-
Format: eBook
Language:English
Published: Chichester, West Sussex, U.K. ; Hoboken, N.J. : Wiley, 2011.
Subjects:
Temporal automata.
Logic, Symbolic and mathematical.
MATHEMATICS > Infinity.
MATHEMATICS > Logic.
Electronic books.
Online Access:Full Text via HEAL-Link

Similar Items

Similar Items