Teaching Formal Methods [electronic resource] : Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings / edited by Jeremy Gibbons, José Nuno Oliveira.
By: Gibbons, Jeremy.
Contributor(s): Oliveira, José Nuno | SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science, 5846.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Description: digital.ISBN: 9783642049125.Subject(s): Computer science | Software engineering | Computer software | Computer Science | Mathematical Logic and Formal Languages | Programming Techniques | Software Engineering | Programming Languages, Compilers, Interpreters | Software Engineering/Programming and Operating Systems | Algorithm Analysis and Problem ComplexityDDC classification: 005.131 Online resources: Click here to access online
In:
Springer eBooks
No physical items for this record
There are no comments for this item.