|
|
An introduction to practical formal methods using temporal logic / by Michael Fisher. by Fisher, Michael, 1962-. Material type: Text; Format:
print
; Literary form:
Not fiction
; Audience:
General;
Publication details: Chichester, West Sussex, U.K. ; Hoboken, N.J. : Wiley, c2011Other title: Practical formal methods using temporal logic.Availability: Items available for loan: 3 Call number: 511.3 FIS-A 2011 8981, ... Items available for reference: Not for loan (1) Call number: 511.3 FIS-A 2011 8983.
|