|
|
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Automated technology for verification and analysis [Electronic resource]
: 8th international symposium, ATVA 2010, Singapore, September 21-24, 2010 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2010
Коллективы :
SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6252
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-15643-4: Б.ц.
Предметные рубрики: Computer science
Computer communication networks
Software engineering
Logic design
Computer science
Software engineering
Programming techniques
Computer communication networks
Logics and meanings of programs
Programming languages, compilers, interpreters
Software engineering/programming and operating systems
См. : Текст издания
Доп.точки доступа:
Bouajjani, A. \ed.\; SpringerLink (Online service)
|
|