Format:
VI, 353 S.
,
Ill.
,
25 cm
ISBN:
0470027886
,
9780470027882
Note:
Includes bibliographical references and index
Additional Edition:
ISBN 9780470980118
Additional Edition:
ISBN 9780470980101
Additional Edition:
ISBN 9781119991465
Additional Edition:
Erscheint auch als Online-Ausgabe Fisher, Michael, 1962 - An introduction to practical formal methods using temporal logic Chichester, West Sussex : Wiley, 2011 ISBN 9781119991489
Additional Edition:
ISBN 9781119991472
Additional Edition:
ISBN 9781119991465
Additional Edition:
Online-Ausg.
Language:
English
Keywords:
Temporale Logik
Author information:
Fisher, Michael 1962-