Formal Methods for Components and Objects (vol. # 3657) Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures

Formal Methods for Components and Objects (vol. # 3657) Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures

Bibliographic Details
Published in:Springer e-books
Main Author: Bonsangue, Marcello M.
Corporate Author: SpringerLink (Online service)
Other Authors: de Boer, Frank S., de Roever, Willem-Paul, Graf, Susanne
Format: eBook
Language:English
Published: Berlin Heidelberg : Springer-Verlag GmbH., 2005
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/11561163
Перейти в каталог НБ ТГУ
Description
ISBN:9783540319399
ISSN:0302-9743 ;

Similar Items