Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Bjorner D. — Software Engineering 1: Abstraction and Modelling, Vol. 1
Bjorner D. — Software Engineering 1: Abstraction and Modelling, Vol. 1



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Software Engineering 1: Abstraction and Modelling, Vol. 1

Автор: Bjorner D.

Аннотация:

From the reviews:


"The book under review is the first one from a series of three volumes that provides a compelling framework for a more comprehensive understanding of both formal and practical concerns of software engineering. The major feature distinguishing these textbooks from other current ones is the natural manner in which the formal techniques smoothly glide from software design towards the requirements prescription phase and beyond to domain description. By its consistency and rigor, the book is, undoubtedly, remarkably useful to professional software developers." (Tudor Balanescu, Zentralblatt MATH, Vol. 1095 (21), 2006)


Язык: en

Рубрика: Технология/

Статус предметного указателя: Неизвестно

ed2k: ed2k stats

Год издания: 2005

Количество страниц: 711

Добавлена в каталог: 16.01.2008

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте