Your search returned 5 results.

Results
		Modular Verfication of Data Abstractions with Shared Realizations by Emst, George W Hookway, Raymond J Ogden, Wililam F Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		The Formal Specification and Design of a Distributed Electronic Funds-Transfer System by Staskauskas, Mark Source: IEEE Transactions on Computers Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Data and Time Abstraction Techniques for Analyzing Multilevel Concurrent Systems by Minoura, Toshimi Iyengar, Sitharama Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Conception, Evolution, and Application of Functional Programming Languages by Hudak, Paul Source: Acm Computing Surveys Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Type Theories and Object-Oriented Programmimg by Dan for th, Scott tomlinson, Chris Source: Acm Computing Surveys Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article

Refine your search