Start Over
You searched for: author Broy, M., 1949-

Search Results

Cover image for Specification and development of interactive systems

Specification and development of interactive systems

Joyner Library - General Stacks
Call Number: QA76.758 .B783 2001
Cover image for Engineering dependable software systems

Engineering dependable software systems

Location
Access Content Online
Cover image for Methods of programming

Methods of programming

  • 1991
  • Format: Book
Joyner Library - General Stacks
Call Number: QA76.6.M4543 1991
Cover image for Methods of programming

Methods of programming

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

Model-based testing of reactive systems

  • 2005
  • Format: Book
Joyner Library - General Stacks
Call Number: QA76.76.T48 M644 2005
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 KORSO

KORSO

  • 1995
  • Format: Book
Joyner Library - General Stacks
Call Number: QA76.76.D47 K67 1995
Cover image for KORSO

KORSO

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

Formal systems specification

  • 1996
  • Format: Book
Joyner Library - General Stacks
Call Number: QA76.9.D5 F664 1996
Cover image for Formal systems specification

Formal systems specification

  • 1996
  • Format: Electronic
Location
Access Content Online