Start Over
You searched for: subject "Formal methods (Computer science)"

Search Results

Cover image for Applied formal methods--FM-Trends 98

Applied formal methods--FM-Trends 98

Location Call # Status
Joyner - General Stacks QA76.9.F67 I59 1998 ✔ Available
Cover image for Leveraging applications of formal methods

Leveraging applications of formal methods

Location Call # Status
Joyner - General Stacks QA76.9.F67 I86 2004 ✔ Available
Cover image for Integrated formal methods

Integrated formal methods

Location Call # Status
Joyner - General Stacks QA76.9.F67 I58 2005 ✔ Available
Cover image for Integrated formal methods

Integrated formal methods

Location Call # Status
Joyner - General Stacks QA76.9.F67 I58 2000 ✔ Available
Cover image for Lectures on formal methods and performance analysis

Lectures on formal methods and performance analysis

Location
Access Content Online
Cover image for Integrated formal methods

Integrated formal methods

Location
Access Content Online
Cover image for Dynamic logic

Dynamic logic

Location Call # Status
Joyner - General Stacks QA76.9.L63 H37 2000 ✔ Available
Cover image for Formal methods applied to complex systems

Formal methods applied to complex systems

  • 2014
  • Format: Electronic
Location
Access Content Online
Cover image for Using event-b for critical device software systems

Using event-b for critical device software systems

Location
Access Content Online
Cover image for Formal methods

Formal methods

  • 2010
  • Format: Electronic
Location
Access Content Online