Your search returned 2 results.

Results
		Automated theorem proving in software engineering / [by] Johann M. Schumann ; foreword by Donald Loveland. by Schumann, Johann M, 1960- Loveland, Donald [წინასიტყვაობის ავტორი] Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; New York : Springer, c2001 Online resources: Publisher description Table of contents only Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 (1)Call number: 621-52 Shc-31. Place hold Log in to add tags Add to cart (remove)
		Software engineering with reusable components / J. Sametinger. by Sametinger, J. (Johannes), 1961- Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; New York : Springer, c1997 Online resources: Publisher description Table of contents only Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 (1)Call number: 004.41 S-11. Place hold Log in to add tags Add to cart (remove)

Not finding what you're looking for?

National Science Library of Georgia