Вид документа : Многотомное издание Шифр издания : 1822(И)/ Автор(ы) : Bjørner, Dines Заглавие : Software Engineering/ D. Bjørner. - (Texts in Computer Science). Vol. 2: Specification of Systems and Languages Выходные данные : Berlin Heidelberg: Springer, 2006 Колич.характеристики :777[39] p.: 151 fig., 27 tabl. Примечания : Reference: p. 751-777; Index: p. 721-749 ISBN, Цена 978-3-540-21150-1: 74.95 € УДК : 681.3.06 Ключевые слова (''Своб.индексиров.''): программирование--языки спецификаций--спецификации--лингвистическое обеспечение Экземпляры :аунл(1) Свободны : аунл(1)