-
Bib ID# 38812
ISBN: 9783642049125
UPC: 10.1007/978-3-642-04912-5
Title: Teaching Formal MethodsSecond International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings /
Author: Gibbons, Jeremy.
Publication Info:
Item Type: Language material