Start Over
You searched for: author_facet Abrial, Jean-Raymond

Search Results

Cover image for Rigorous methods for software construction and analysis

Rigorous methods for software construction and analysis

  • 2009
  • Format: Electronic
Location
Access Content Online
Cover image for Formal methods for industrial applications

Formal methods for industrial applications

  • 1996
  • Format: Electronic
Location
Access Content Online
Cover image for The B-book

The B-book

Location Call # Status
Joyner - General Stacks QA76.73.B2 A267 1996 ✔ Available
Cover image for Formal methods for industrial applications

Formal methods for industrial applications

  • 1996
  • Format: Book
Location Call # Status
Joyner - General Stacks TJ288 .F59 1996 ✔ Available
Joyner - General Stacks TJ288 .F59 1996 COMPACT DISC ✔ Available