Your search returned 2 results.

Not what you expected? Check for suggestions
Sort
Results
An introduction to practical formal methods using temporal logic / by Michael Fisher.

by Fisher, Michael, 1962-.

Material type: Text 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.

Elementary linear algebra : with supplemental applications / by Howard Anton and Chris Rorres

by Anton, Howard | Rorres, Chris.

Edition: 11th edMaterial type: Text Text; Format: print ; Literary form: Not fiction Publication details: New Delhi: Wiley, 2015Availability: Items available for loan: 14 Call number: 512.5 ANT-E 2015 9445, ... Items available for reference: Not for loan (1) Call number: 512.5 ANT-E 2015 9532. Not available: Checked out (18).
  (1 votes)
Pages