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 оценок |
| Формат: | Книга |
| Уже скачали: | 12783 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
Bokamu №8 2012
Название: BokamuНомер: 8Год/месяц издания: октябрь 2012Издательство: Coffee Break PressФормат: FlashРазмер: 76,72 МбЯзык: РусскийКоличество страниц: 160Описание: Первый русскоязычный журнал, от и до п . . .
-
Мыслящая Россия. Картография современных интеллектуальных направлений djvu 5,5Мб
Название: Мыслящая Россия. Картография современных интеллектуальных направленийАвтор: В.Куренной(ред.)Издательство: Некоммерческий фонд "Наследие Евразии"Год издания: 2006Формат: DjVuЯзык: русскийCтра . . .
-
Детское творчество. Рисуем пальчиками jpg 5,57Мб
Название: Детское творчество. Рисуем пальчикамиАвтор: Давыдова Т.Издательство: СтрекозаГод: 2009Страниц: 13Формат: jpgРазмер: 5.57 МбРисование пальчиками - увлекательное, оригинальное и очень веселое . . .
-
Игры развивающие речевую функцию у детей doc 11Мб
Название: Игры развивающие речевую функцию у детей.Автор: коллективИздательство: Весна-ДизайнСерия: ВД: Настольно-печатные развивающие игры в папкеГод выпуска: 2004-2006Формат: docРазмер: 11mbВ данный . . .
-
Аппликация: Для самых маленьких jpg 7,71Мб
Название: Аппликация: Для самых маленькихАвтор: С.АнтоновИздательство: СтрекозаГод: 2009Страниц: 9Формат: jpgРазмер: 7.71 Мб ifolder depositfiles uploading . . .
-
Пожужжим и полялякаем. Звуковая культура djvu 1,24Мб
Название: Пожужжим и полялякаем. Звуковая культура речиАвтор: Лагздынь Г.Р.Художник: Емельянова М.А.Издательство: Карапуз Серия: Логопедическая серияЖанр: Развитие речи, логопедия для дошкольниковГод . . .
-
Английский для детей. Я и моя семья iso 115Мб
Автор:КоллетивНазвание: Английский для детей. Я и моя семьяИздательство: Руссобит-МГод: 2006Формат: ISOРазмер: 115МВСтраниц:МультимедиаБез знания английского не обойтись, но как убедить любимое чадо н . . .
-
Учись рисуя exe 108Мб
Название:Учись рисуяРазработчик: Young GeniusИздатель: АкеллаСерия: Мой первый учебникГод:1998 г.Формат: EXEРазмер:108 mbЭта познавательная программа предназначена для детей от 3 до 8 лет. Используя и . . .
-
Сани, ладья и кони, как принадлежности похоронного обряда pdf 55Мб
Название: Сани, ладья и кони, как принадлежности похоронного обрядаАвтор: Анучин Д.Н.Издательство: Москва. Тип. и Словолит. О.О. ГербекГод: 1890Страниц: 148Язык: РусскийКачество: ХорошееФормат: PDFРаз . . .
-
Рисующий гномик pdf 6,67Мб
Название: Рисующий гномик. 1.Альбом 12.Альбом 2.3. Методика и планирование работы по формирированию графических навыков и умений у детей младшего дошкольного возраста с ЗПР.Автор: Касицына М.А.Издател . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Specification of Software Systems (Texts in Computer Science). Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.