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
Description
Physical Description:1 online resource (vii, 353 pages) : illustrations
Bibliography:Includes bibliographical references and index.
ISBN:9781119991472
1119991471
9781119991489
111999148X
9780470027882
0470027886
9780470980118
0470980117
9780470980101
0470980109
9781119991465
1119991463
1283405342
9781283405348
DOI:10.1002/9781119991472

Similar Items