|
|
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Algebraic methodology and software technology [Electronic resource]
: 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010: revised selected papers
Выходные данные : Berlin ; Heidelberg: Springer, 2011
Коллективы :
SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6486
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-17796-5: Б.ц.
Предметные рубрики: Computer science
Software engineering
Logic design
Artificial intelligence
Computer science
Software engineering
Logics and meanings of programs
Programming languages, compilers, interpreters
Mathematical logic and formal languages
Artificial intelligence (incl. robotics)
Programming techniques
См. : Текст издания
Доп.точки доступа:
Johnson, M. \ed.\; SpringerLink (Online service)
|
|