|
|
004.41
B63
Bjorner, D.
Software engineering 1 [Electronic resource] : abstraction and modelling / D. Bjorner. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Texts in theoretical computer science an eatcs series, ISSN 1862-4499). - ISBN 978-3-540-31288-8. - ISBN 3-540-31288-9 : Б. ц.
Рубрики: Программное обеспечение ЭВМ--Проектирование
См. : Текст издания
Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
|
|