Limit search to items available for checkout
BOOK
Title FM 2009 : formal methods: second World Congress, Eindhoven, The Netherlands, November 2009 / volume editors, Ana Cavalcanti, Dennis Dams.
Imprint Berlin: Springer, 2009.

Copies/Volumes

LOCATION CALL # STATUS
 Main Stacks  QA76.76.D47 I593 2009    AVAILABLE