Start Over
You searched for: author International Institute for Software Technology

Search Results

Cover image for Formal methods at the crossroads

Formal methods at the crossroads

  • 2003
  • Format: Electronic
Location
Access Content Online
Cover image for Formal methods at the crossroads

Formal methods at the crossroads

Location Call # Status
Joyner - General Stacks QA76.758 .F67 2003 ✔ Available
Cover image for Fourth IEEE International Conference on Software Engineering and Formal Methods

Fourth IEEE International Conference on Software Engineering and Formal Methods

Location
Access Content Online
Cover image for SEFM 2009

SEFM 2009

Location
Access Content Online
Cover image for APSEC 2001

APSEC 2001

Location
Access Content Online
Cover image for ULS '07

ULS '07

  • 2007
  • Format: Electronic
Location
Access Content Online
Cover image for Investment criteria and economic growth

Investment criteria and economic growth

Location Call # Status
Joyner - General Stacks HG4517 .M3 1961 ✔ Available
Cover image for Proceedings

Proceedings

Location
Access Content Online
Cover image for ... IEEE International Conference on Software Science, Technology and Engineering

... IEEE International Conference on Software Science, Technology and Engineering

Location
Access Content Online
Cover image for The future of strategic deterrence

The future of strategic deterrence

Location Call # Status
Joyner - General Stacks U162 .A3 NO. 160 V. 1 ✔ Available
Joyner - General Stacks U162 .A3 NO. 161 V. 2 ✔ Available