Your search returned 2 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
An introduction to practical formal methods using temporal logic / Michael Fisher

by Fisher,Michael.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Hoboken, N.J : Wiley, 2011Availability: Items available for loan: UNIMY (1) Call number: QA267.5 T45 .F57 2011.

Add to cart
No cover image available
An introduction to practical formal methods using temporal logic [electronic resource] / Michael Fisher.

by Fisher, Michael, 1962- | ProQuest (Firm).

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Chichester, West Sussex, U.K. ; Hoboken, N.J. : Wiley, c2011Online access: Click to View Availability: No items available.

Add to cart
Pages