Results
|
|
|
|
|
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.
|
|
|
Fundamentals of matrix computations / David S. Watkins. by Watkins, David S. Edition: 3rd ed.Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Hoboken, N.J. : Wiley, c2010Availability: Items available for loan: 5 Call number: 512.9434 WAT-F 2010 10673, ... Items available for reference: Not for loan (1) Call number: 512.9434 WAT-F 2010 11814.
|
|
|
|