libcats.org
Главная

Formal Software Development: From VDM to Java

Обложка книги Formal Software Development: From VDM to Java

Formal Software Development: From VDM to Java

,
This gently paced software engineering text concentrates on the use of formal methods for the development of high integrity software. It assumes no previous knowledge of formal methods, and presents a practical and comprehensive treatment of the subject suitable for second and third year undergraduates on computing courses, and students on taught master's courses. The book contains examples and exercises throughout, and is supported by a dedicated web site.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb

The Meme Machine

Автор:
Категория: psychology, memetics, sociology
Размер книги: 1.72 Mb
Только что пользователи скачали эти книги:

Создание сильных брендов

Автор:
Категория: Бизнес книги
Размер книги: 20.33 Mb

American Fiction Between The Wars (Bloom's Period Studies)

Автор:
Категория: Образование
Размер книги: 2.10 Mb

Memory and history in George Eliot: transfiguring the past

Автор:
Размер книги: 895 Kb

George Eliot (Bloom's Classic Critical Views)

Автор:
Размер книги: 1.32 Mb

Всё о музыкальном бизнесе

Автор:
Размер книги: 6.36 Mb