Your search returned 5 results.

Results
	1.		Image from Amazon.com	Advanced topics in bisimulation and coinduction / edited by Davide Sangiorgi, Jan Rutten. by Sangiorgi, Davide [editor.] Rutten, J. J. M. M [editor.] Cambridge eBooks Series: Cambridge tracts in theoretical computer science ; 52.Publisher: Cambridge : Cambridge University Press, 2012 Other title: Advanced Topics in Bisimulation & Coinduction 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	Nominal sets : names and symmetry in computer science / Andrew M. Pitts. by Pitts, A. M. (Andrew M.) [author.] Cambridge eBooks Series: Cambridge tracts in theoretical computer science ; 57.Publisher: Cambridge : Cambridge University Press, 2013 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	3.			Nominal sets [electronic resource] : names and symmetry in computer science / Andrew M. Pitts. by Pitts, A. M. (Andrew M.) Safari eBooks Series: Cambridge tracts in theoretical computer science ; 57.2013 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	4.			Temporal logics in computer science : finite-state systems / St(acute)ephane Demri, Valentin Goranko, Martin Lange. by Demri, St(acute)ephane P, 1967- [author.] Goranko, Valentin [author.] Lange, Martin [author.] Safari eBooks Series: Cambridge tracts in theoretical computer science ; 58.Publisher: Cambridge, United Kingdom : Cambridge University Press, 2016 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	5.			Introduction to coalgebra : towards mathematics of states and observation / Bart Jacobs. by Jacobs, Bart [author.] Safari eBooks Series: Cambridge tracts in theoretical computer science ; 59.Publisher: Cambridge, United Kingdom ; New York, NY, USA : Cambridge University Press, 2017 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