Your search returned 3 results.

Results
	1.		Image from Amazon.com	Institution-independent Model Theory [electronic resource] / by Răzvan Diaconescu. by Diaconescu, Răzvan [author.] SpringerLink (Online service) Series: Studies in Universal LogicPublisher: Basel : Birkhäuser Basel, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	2.		Image from Amazon.com	Recent Trends in Algebraic Development Techniques [electronic resource] : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers / edited by Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu. by Codescu, Mihai [editor.] Diaconescu, Răzvan [editor.] Țuțu, Ionuț [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 9463 Edition: 1st ed. 2015. Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	3.		Image from Amazon.com	CafeOBJ report [electronic resource] : the language, proof techniques, and methodologies for object-oriented algebraic specification / Razvan Diaconescu, Kokichi Futatsugi. by Diaconescu, Razvan Futatsugi, Kokichi ebrary, Inc Series: AMAST series in computing ; vol. 6 Publication details: Singapore : World Scientific, c1998 Other title: Language, proof techniques, and methodologies for object-oriented algebraic specification Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)

Copyright © 2020 Alfaisal University Library. All Rights Reserved.
Tel: +966 11 2158948 Fax: +966 11 2157910 Email: librarian@alfaisal.edu