Teaching formal methods : second international conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings

作者：edited by Jeremy Gibbons, Jose Nuno Oliveira.
出版社：Springer-Verlag Berlin Heidelberg
ISBN：9783642049125 (electronic bk.) ; 9783642049118 (paper)
出版日期：2009
其他作者：Gibbons, Jeremy. ; Oliveira, Jose Nuno.
語言：zh
出版地：Berlin, Heidelberg :
內容簡介

vii, 175 p. ::ill., digital ;:24 cm.

搜尋同作者