			Abstraction refinement for large scale model checking [Documento electrónico] / Gary D. Hachtel, Fabio Somenzi, Chao WangPublication: New York : Springer, 2006Description: E-bookAvailability: Place hold Add to cart (remove)
			No cover image available Computer aided engineering (CAE) : a promising tool for improving construction site productivity / Civil Engineering Research FoundationPublication: Washington : CERF, 1992Description: III, 19 p. : il. ; 28 cmAvailability: Items available for loan: [CERF 74] (1). Place hold Add to cart (remove)

Biblioteca do ISEL