Your search returned 4 results.

Results
	1.	Specification of software systems / V. S. Alagar, K. Periyasamy. by Alagar, V. S, 1940- Periyasamy, K Series: Graduate texts in computer science Material type: Text; Format: print Publication details: New York : Springer, 1998 Availability: Not available: MAIN LIBRARY: Reserve Missing (1). Add to cart (remove)
	2.	Descriptive complexity / Neil Immerman. by Immerman, Neil, 1953- Series: Graduate texts in computer science \| Graduate texts in computer science (Springer-Verlag New York Inc.) Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, 1999 Availability: Items available for loan: MAIN LIBRARY (1)Location, call number: Main Library General Collection QA267.7 . I55 1999. Not available: LIC(LABUAN INTERNATIONAL CAMPUS): Reserve Missing (1). Place hold Add to cart (remove)
	3.	No cover image available Refinement calculus : a systematic introduction / Ralph-Johan Back, Joakim von Wright. by Back, Ralph-Johan Wright, J. von, (Joakim), 1955- Series: Graduate texts in computer science Material type: Text; Format: print Publication details: New York : Springer, 1998 Availability: Items available for loan: MAIN LIBRARY (2)Location, call number: Material Disposal Room QA76.6 . B23, ... Place hold Add to cart (remove)
	4.	On concurrent programming / Fred B. Schneider by Schneider, Fred B Series: Graduate texts in computer science Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, 1997 Availability: Items available for loan: MAIN LIBRARY (1)Location, call number: Main Library General Collection QA76.642 . S34. Place hold Add to cart (remove)

QUICK ACCESS

LIBRARY GUIDES

UMS IR

MyUMS LIBRARY ACCOUNT

SUBJECT GUIDES

Turnitin

UMS ARCHIVE

Report a problem