Your search returned 2 results.

1.
Introduction to bisimulation and coinduction /

by Sangiorgi, Davide.

Material type: Text Text Publication details: Cambridge ; New York : Cambridge University Press, c2012Availability: Items available for loan: Call number: 004.015 113 SAN/I (1).

Place hold Add to cart
2.
Handbook of mathematical induction : theory and applications

by Gunderson, David S.

Series: Material type: Text Text Publication details: Boca Raton, FL : CRC Press, c2011Availability: No items available : Checked out (1).

Place hold Add to cart

Powered by Koha