Software Engineering: Specification, Implementation, Verification

Автор: bhaer от 16-09-2017, 10:34, Коментариев: 0

Категория: КНИГИ » ПРОГРАММИРОВАНИЕ


Название: Software Engineering: Specification, Implementation, Verification
Автор: Suad Alagi?
Издательство: Springer
Год: 2017
Страниц: 178
Формат: PDF, EPUB
Размер: 10 Mb
Язык: English

This book takes a formal approach to teaching software engineering, using not only UML, but also Object Constraint Language (OCL) for specification and analysis of designed models. Employing technical details typically missing from existing textbooks on software engineering, the author shows how precise specifications lead to static verification of software systems. In addition, data management is given the attention that is required in order to produce a successful software project.
 

Программирование на Java и C# для студента (+CD)

Автор: Vlad-312 от 15-09-2017, 16:42, Коментариев: 0

Категория: КНИГИ » ПРОГРАММИРОВАНИЕ


Название: Программирование на Java и C# для студента (+CD)
Автор: Герман О.В., Герман Ю.О.
Издательство: СПб.: БХВ-Петербург
ISBN: 5-94157-710-9
Год: 2005
Страниц: 507
Формат: PDF
Размер: 22 Мб
Язык: Русский
Качество: Оригинал

Рассмотрены основные вопросы программирования на языках JAVA и С#, включая их сравнительное описание как двух важнейших и весьма сходных прикладных платформ для создания современных сетевых приложений. Книга содержит теоретическую часть, объясняющую основные моменты программирования, и практическую, включающую задания, контрольные вопросы и много законченных примеров с подробными объяснениями и коммен-тариями, которые позволяют эффективно перейти к самостоятельному написанию программ на языках JAVA и C#. На компакт-диске размещены листинги примеров, рассмотренных в книге
 

Java Succinctly Part 2

Автор: bhaer от 15-09-2017, 16:27, Коментариев: 0

Категория: КНИГИ » ПРОГРАММИРОВАНИЕ


Название: Java Succinctly Part 2
Автор: Christopher Rose , Chiranjit Hazarika
Издательство: Chiranjit Hazarika
Год: 2017
Страниц: 200
Формат: PDF, EPUB, AZW3
Размер: 10 Mb
Язык: English

In this second e-book on Java, Christopher Rose and Chiranjit Hazarika takes readers through some of the more advanced features of the language. Java Succinctly Part 2 explores powerful and practical features of Java, such as multithreading, building GUI applications, and 2-D graphics and game programming.
 

Разработка через тестирование для iOS (2013)

Автор: SCART56 от 15-09-2017, 16:08, Коментариев: 0

Категория: КНИГИ » ПРОГРАММИРОВАНИЕ


Название: Разработка через тестирование для iOS
Автор: Грэхем Ли
Издательство: ДМК Пресс
Год: 2013
Страниц: 272
ISBN: 978-5-94074-863-2
Формат: PDF
Размер: 20.4 Мб
Язык: русский

По мере увеличения сложности и важности приложений для iOS, разработчики должны гарантировать неизменное повышение качества прикладного кода. Это означает необходимость использования новейших приемов создания и тестирования приложений. Разработка через тестирование (Test-Driven Development, TDD) – один из таких приемов.
 

Clean Architecture: A Craftsman's Guide to Software Structure and Design

Автор: bhaer от 15-09-2017, 15:44, Коментариев: 0

Категория: КНИГИ » ПРОГРАММИРОВАНИЕ


Название: Clean Architecture: A Craftsman's Guide to Software Structure and Design
Автор: Robert C. Martin
Издательство: Prentice Hall
Год: 2017
Страниц: 432
Формат: PDF, EPUB, AZW3
Размер: 21 Mb
Язык: English

Practical Software Architecture Solutions from the Legendary Robert C. Martin (“Uncle Bob”)
By applying universal rules of software architecture, you can dramatically improve developer productivity throughout the life of any software system. Now, building upon the success of his best-selling books Clean Code and The Clean Coder, legendary software craftsman Robert C. Martin (“Uncle Bob”) reveals those rules and helps you apply them.
 

Introduction to Computing and Programming in Python, Global Edition

Автор: bhaer от 15-09-2017, 12:42, Коментариев: 0

Категория: КНИГИ » ПРОГРАММИРОВАНИЕ


Название: Introduction to Computing and Programming in Python, Global Edition, 4th Edition
Автор: Mark J. Guzdial, Barbara Ericson
Издательство: Pearson
Год: 2016
Страниц: 528
Формат: True PDF
Размер: 14 Mb
Язык: English

Introduction to Computing and Programming in Python is a uniquely researched and up-to-date volume that is widely recognized for its successful introduction to the subject of Media Computation. Emphasizing creativity, classroom interaction, and in-class programming examples, Introduction to Computing and Programming in Python takes a bold and unique approach to computation that engages students and applies the subject matter to the relevancy of digital media.
 

Основы разработки приложений на платформе Microsoft .NET Framework. Учебный курс Microsoft (+CD)

Автор: Biber от 15-09-2017, 11:06, Коментариев: 0

Категория: КНИГИ » ПРОГРАММИРОВАНИЕ

Основы разработки приложений на платформе Microsoft .NET Framework. Учебный курс Microsoft (+CD)Название: Основы разработки приложений на платформе Microsoft .NET Framework. Учебный курс Microsoft (+CD)
Автор: Коллектив авторов
Жанр: Учебный курс
Издательство: Питер
Год выпуска: 2007
Страниц: 864
Язык: Русский
Формат: iso, pdf
Размер: 87 Mb

Этот учебный курс посвящен разработке приложений с использованием .NET Framework (любой версии) на языках Visual Basic .NET и Visual C# .NET. Книга содержит введение в .NET Framework, описание создания и применения консольных и GUI-приложений. Авторы делятся с читателями бесценным опытом решения различных задач, стоящих перед программистами.
 

Once Upon an Algorithm: How Stories Explain Computing

Автор: bhaer от 15-09-2017, 09:18, Коментариев: 0

Категория: КНИГИ » ПРОГРАММИРОВАНИЕ


Название: Once Upon an Algorithm: How Stories Explain Computing
Автор: Martin Erwig
Издательство: The MIT Press
Год: 2017
Страниц: 336
Формат: True PDF
Размер: 15 Mb
Язык: English

Picture a computer scientist, staring at a screen and clicking away frantically on a keyboard, hacking into a system, or perhaps developing an app. Now delete that picture. In Once Upon an Algorithm, Martin Erwig explains computation as something that takes place beyond electronic computers, and computer science as the study of systematic problem solving.
 

Practical Concurrent Haskell: With Big Data Applications

Автор: bhaer от 14-09-2017, 16:45, Коментариев: 0

Категория: КНИГИ » ПРОГРАММИРОВАНИЕ


Название: Practical Concurrent Haskell: With Big Data Applications
Автор: Stefania Loredana Nita, Marius Mihailescu
Издательство: Apress
Год: 2017
Страниц: 270
Формат: True PDF, EPUB, MOBI
Размер: 10 Mb
Язык: English

Learn to use the APIs and frameworks for parallel and concurrent applications in Haskell. This book will show you how to exploit multicore processors with the help of parallelism in order to increase the performance of your applications.
 

Реактивное программирование с применением RxJava

Автор: admin от 14-09-2017, 13:08, Коментариев: 2

Категория: КНИГИ » ПРОГРАММИРОВАНИЕ


Название: Реактивное программирование с применением RxJava
Автор: Томаш Нуркевич, Бен Кристенсен
Издательство: ДМК Пресс
Год: 2017
Формат: djvu
Размер: 14 Мб
Качество: Хорошее
Язык: Русский

В наши дни, когда программы асинхронны, а быстрая реакция - важнейшее свойство, реактивное программирование поможет писать более надежный, лучше масштабируемый и быстрее работающий код. Благодаря этой книге программист на Java узнает о реактивном подходе к задачам и научится создавать программы, вобравшие в себя лучшие черты этой новой и весьма перспективной парадигмы. Данная книга содержит глубокое и подробное изложение концепций и принципов использования реактивного программирования вообще и Rxjava в частности.
Книга может использоваться как для последовательного изучения предмета, так и в качестве справочника по библиотеке.