FM 2005: Formal Methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings

FM 2005: Formal Methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings

Bibliographic Details
Published in:Springer e-books
Main Author: Fitzgerald, John
Corporate Author: SpringerLink (Online service)
Other Authors: Hayes, Ian J., Tarlecki, Andrzej
Format: eBook
Language:English
Published: Berlin Heidelberg : Springer-Verlag GmbH., 2005
Series:Lecture Notes in Computer Science,
Subjects:
Computer Science
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/b27882
Перейти в каталог НБ ТГУ

Internet

http://dx.doi.org/10.1007/b27882
Перейти в каталог НБ ТГУ

Similar Items