FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings /

FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings /

Bibliographic Details
Published in:Springer eBooks
Main Author: Cuellar, Jorge
Corporate Author: SpringerLink (Online service)
Other Authors: Maibaum, Tom, Sere, Kaisa
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Series:Lecture Notes in Computer Science,
Subjects:
Computer Science
Information systems
Logic design
Software engineering
Logics and Meanings of Programs
Management of Computing and Information Systems
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Programming Techniques
Software Engineering
Online Access:http://dx.doi.org/10.1007/978-3-540-68237-0
Перейти в каталог НБ ТГУ

Internet

http://dx.doi.org/10.1007/978-3-540-68237-0
Перейти в каталог НБ ТГУ

Similar Items