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

Author：edited by Jeremy Gibbons, Jose Nuno Oliveira.
Publisher：Springer-Verlag Berlin Heidelberg
ISBN：9783642049125 (electronic bk.) ; 9783642049118 (paper)
Publication Date：2009
其他作者：Gibbons, Jeremy. ; Oliveira, Jose Nuno.
語言：zh
出版地：Berlin, Heidelberg :
Description

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

Search Same Author