Umfang:
VI, 353 S.
,
Ill.
,
25 cm
ISBN:
0470027886
,
9780470027882
Anmerkung:
Includes bibliographical references and index
Weitere Ausg.:
ISBN 9780470980118
Weitere Ausg.:
ISBN 9780470980101
Weitere Ausg.:
ISBN 9781119991465
Weitere Ausg.:
Erscheint auch als Online-Ausgabe Fisher, Michael, 1962 - An introduction to practical formal methods using temporal logic Chichester, West Sussex : Wiley, 2011 ISBN 9781119991489
Weitere Ausg.:
ISBN 9781119991472
Weitere Ausg.:
ISBN 9781119991465
Weitere Ausg.:
Online-Ausg.
Sprache:
Englisch
Schlagwort(e):
Temporale Logik
Mehr zum Autor:
Fisher, Michael 1962-