Полное описание
>
Architecting dependable systems VII / ed. A. Casimiro [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer-Verlag, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6420). - URL: http://dx.doi.org/10.1007/978-3-642-17245-8. - ISBN 978-3-642-17245-8.
Рубрики:
Computer science
Software engineering
Logic design
Computer science
Software engineering
Programming languages, compilers, interpreters
Programming techniques
Logics and meanings of programs
Software engineering/programming and operating systems
Models and principles
Доп. точки доступа:
Casimiro, A.\ed.\
SpringerLink (Online service)
>
http://dx.doi.org/10.1007/978-3-642-17245-8
Просмотр издания