Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures /

Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures /

Bibliographic Details
Published in:Springer eBooks
Main Author: Boer, Frank S.
Corporate Author: SpringerLink (Online service)
Other Authors: Bonsangue, Marcello M., Graf, Susanne, Roever, Willem-Paul
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.
Series:Lecture Notes in Computer Science,
Subjects:
Computer Science
Logic design
Operating systems (Computers)
Software engineering
Logics and Meanings of Programs
Operating Systems
Programming Languages, Compilers, Interpreters
Software Engineering
Online Access:http://dx.doi.org/10.1007/978-3-540-74792-5
Перейти в каталог НБ ТГУ

Internet

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

Similar Items