Limit search to items available for checkout
BOOK
Title Teaching formal methods : second international conference, TFM 2009, Eindhoven, the Netherlands, November 2-6, 2009, proceedings / Jeremy Gibbons. José Nuno Oliveira, (eds.).
Imprint Berlin : Springer, c2009.

Copies/Volumes

LOCATION CALL # STATUS
 Main Stacks  QA76.9.F67 T46 2009    AVAILABLE