Полное описание

Formal methods for industrial critical systems : 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010 : proceedings / eds. S. Kowalewski, M. Roveri. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6371). - URL: http://dx.doi.org/10.1007/978-3-642-15898-8. - ISBN 978-3-642-15898-8.
Рубрики:
Computer science
Software engineering
Logic design
Computer science
Software engineering
Logics and meanings of programs
Programming languages, compilers, interpreters
Special purpose and application-based systems

Доп. точки доступа:
Kowalewski, S.\ed.\
SpringerLink (Online service)

http://dx.doi.org/10.1007/978-3-642-15898-8

Просмотр издания