Start Over
You searched for: author Broy, M.

Search Results

Cover image for Methods of programming

Methods of programming

  • 1991
  • Format: Book
Location Call # Status
Joyner - General Stacks QA76.6.M4543 1991 ✔ Available
Cover image for Methods of programming

Methods of programming

  • 1991
  • Format: Electronic
Location
Access Content Online
Cover image for Engineering dependable software systems

Engineering dependable software systems

Location
Access Content Online
Cover image for Model-based testing of reactive systems

Model-based testing of reactive systems

  • 2005
  • Format: Electronic
Location
Access Content Online
Cover image for Model-based testing of reactive systems

Model-based testing of reactive systems

  • 2005
  • Format: Book
Location Call # Status
Joyner - General Stacks QA76.76.T48 M644 2005 ✔ Available
Cover image for Specification and development of interactive systems

Specification and development of interactive systems

Location Call # Status
Joyner - General Stacks QA76.758 .B783 2001 ✔ Available
Cover image for Program Construction

Program Construction

Location
Access Content Online
Cover image for KORSO

KORSO

  • 1995
  • Format: Book
Location Call # Status
Joyner - General Stacks QA76.76.D47 K67 1995 ✔ Available
Cover image for KORSO

KORSO

  • 1995
  • Format: Electronic
Location
Access Content Online
Cover image for Formal systems specification

Formal systems specification

  • 1996
  • Format: Electronic
Location
Access Content Online