Teaching formal methods
Subtitle: second international conference, TFM 2009, Eindhoven, the Netherlands, November 2-6, 2009, proceedings
By: Jeremy Gibbons. José Nuno Oliveira, (eds.).
Contributors: Gibbons, Jeremy, 1966-; Oliveira, José N.
Series: Lecture notes in computer science -- 5846; Lecture notes in computer science -- 5846.
Publisher: Springer
Published: 2009
Place of publication: Berlin
Language: eng
Number of pages: 175
ISBN-13: 9783642049118
Subjects: Development; Study and teaching; Congresses; Formale Methode; Formal methods (Computer science); Informatikstudium; Computer software
Notes: Includes bibliographical references and index.