Specification of Software Systems (Texts in Computer Science)
Название:Specification of Software Systems (Texts in Computer Science)
Автор:V.S. Alagar, K. Periyasamy
Издательство:Springer
ISBN:0857292765
Дата издания:2011-04-29
Страниц:660
Язык:Английский
Формат:PDF
Размер: 3 MB
This extensively revised and updated new edition of Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification activities for different types of software systems and at different stages of developing software systems. Topics and features: provides a wide coverage of formal specification techniques and a clear writing style, supported by end-of-chapter bibliographic notes for further reading; presents a logical structure, with sections devoted to specification fundamentals, basics of formalism, logic, set theory and relations, property-oriented specification methods, and model-based specification techniques; contains end-of-chapter exercises and numerous case studies, with potential course outlines suggested in the Preface; covers Object-Z, B-Method, and Calculus of Communicating Systems; offers material that can be taught with tool-supported laboratory projects.
Скачать с DEPOSITFILES
Скачать с FILESONIC
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12784 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
Голограмма для короля
Автор: Эггерс ДейвНазвание: Голограмма для короляИздательство: Фантом Пресс Перевод: Грызунова АнастасияГод: 2014Формат: fb2Размер: 1,2 mbДля сайта: MirKnig.com В саудовской пустыне, посреди затяжного . . .
-
Введение в теорию чисел. Выпуск первый (гл. I-VIII)
Автор: Диксон Л.Е.Название: Введение в теорию чисел. Выпуск первый (гл. I-VIII)Издательство: Изд. Академии Наук Грузинской ССРГод: 1941Формат: djvuРазмер: 8 mbОглавление.Глава I. Основные законы делим . . .
-
Twenty-Five Buildings Every Architect Should Understand: a revised and expanded edition of Twenty Buildings Every Architect Should Understand
Автор: Simon UnwinНазвание: Twenty-Five Buildings Every Architect Should Understand: a revised and expanded edition of Twenty Buildings Every Architect Should Understand (second edition)Издательство: . . .
-
Непраздные рассказы
Название: Непраздные рассказыАвтор: Сердюк Вероника ВладимировнаИздательство: МедисонтГод выпуска: 2009Страниц: 90Формат: pdfРазмер: 1,43 мбЖена непраздная – так называли раньше беременных, что значит . . .
-
Исцеляющая сила без медицины. Руководство к преодолению жизненных препятствий и возвращению радости
Автор: Кэрол А. УилсонНазвание: Исцеляющая сила без медицины. Руководство к преодолению жизненных препятствий и возвращению радостиИздательство: ИГ "Весь"Год: 2011Формат: fb2 Размер: 2,72 МбПризнайтес . . .
-
Растения вулканов Камчатки
Автор: Беркутенко А. Н.Название: Растения вулканов КамчаткиИздательство: Магадан: СВНЦ ДВО РАНГод: 2012Страниц: 160Формат: PDFРазмер: 40.45 Мб"Растения вулканов Камчатки" — первая иллюстрированная кни . . .
-
Історичне краєзнавство
Название: Історичне краєзнавствоАвтор: Олександр Уривалкін Издательство: КНТ Год: 2006Страниц: 296Формат: djvuРазмер: 11 MbЯзык: украинскийІсторія краю, або краєзнавство, - один з напрямків сучасної н . . .
-
Chemical Principles: The Quest for Insight
Автор: Jones, Laverman AtkinsНазвание: Chemical Principles: The Quest for Insight, Sixth edition (book+ study guide to accompany)Издательство: W.H. Freeman and CompanyГод: 2013Формат: PDFСтраниц: 112 . . .
-
Флора островов Северной Охотии
Автор: Хорева М. Г.Название: Флора островов Северной Охотии Издательство: Магадан: ИБПС ДВО РАНГод: 2003Страниц: 173Формат: djvu Размер: 3.83 МбПриводятся новые данные о распространении видов сосудис . . .
-
Проблемы сердца и органов кровообращения. Как справиться с сердечными недугами
Название: Проблемы сердца и органов кровообращения. Как справиться с сердечными недугамиАвтор: Рудигер ДалькеИздательство: ИГ "Весь"Год: 2011Формат: fb2, rtfРазмер: 1,09 МбКачество: ХорошееЯзык: Русск . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Specification of Software Systems (Texts in Computer Science). Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.