|
004.41 B63
Bjorner, D. Software engineering 2 [Electronic resource] : specification of systems and languages / D. Bjorner. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Texts in theoretical computer science an eatcs series). - ISBN 978-3-540-33193-3 : Б. ц.
Рубрики: Программное обеспечение эвм--Проектирование
См. : Текст издания Доп.точки доступа: SpringerLink (Online service)
Свободных экз. нет
|
|