|
|
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Architecting dependable systems VII [Electronic resource]
Выходные данные : Berlin ; Heidelberg : Springer-Verlag, 2010
Коллективы :
SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6420
Вид и объем ресурса: Electronic text data
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)
|
|