Specification of Software Systems (Texts in Computer Science)


Книга 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)

    Автор: Диксон Л.Е.Название: Введение в теорию чисел. Выпуск первый (гл. 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

    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

    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). Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.