|
libcats.org
Error Free Software: Know-how and Know-why of Program CorrectnessRobert Laurence BaberPressure to produce good quality software within budget leaves little scope to explore the theory and potential of formal development methods. This introduction to the creation and development of software aims to demonstrate various advantages to be gained by using certain techniques. All techniques described are based on mathematical foundations, and a basic knowledge of algebra and programming is assumed. The book is designed as a self-study text, and contains many examples and exercises.
Ссылка удалена правообладателем ---- The book removed at the request of the copyright holder.
Популярные книги за неделю:
#3
Самодельные детали для сельского радиоприемникаАвторы: З.Б.Гинзбург, Ф.И.Тарасов.Категория: радиоэлектроника
1.40 Mb
#10
Вероятность и статистика. 10-11 классыБродский И.Л., Мешавкина О.С.Категория: M_Mathematics, MSch_School-level
1.24 Mb
Только что пользователи скачали эти книги:
#4
Наставление по борьбе за живучесть судов Министерства морского флота Союза ССР (НБЖС) РД 31.60.14-81Категория: Военная техника
15.10 Mb
#6
Ответы и решения к задачнику А.П.Рымкевича Физика 10-11 классыБорисов С.Н.Категория: Физика астроном
10.34 Mb
#9
Русско-английский и англо-русский технический и деловой словарь судового механикаИ. В. Возницкий (авт.)
8.51 Mb
|
|