Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7 707 857-29-98
  +7(7172) 65-23-70
  10:00-18:00 пн-пт
  shop@logobook.kz
   
    Поиск книг                        
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Бестселлеры | |
 

Validated Designs for Object-oriented Systems, John Fitzgerald; Peter Gorm Larsen; Paul Mukherjee


Варианты приобретения
Цена: 65170.00T
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: 286 шт.  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: John Fitzgerald; Peter Gorm Larsen; Paul Mukherjee
Название:  Validated Designs for Object-oriented Systems
ISBN: 9781849969437
Издательство: Springer
Классификация: ISBN-10: 1849969434
Обложка/Формат: Paperback
Страницы: 404
Вес: 0.58 кг.
Дата издания: 13.10.2010
Язык: English
Размер: 234 x 156 x 22
Основная тема: Computer Science
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание:

Object-oriented design methods are commonplace in computing systems development, but are often dismissed as boxes & arrows. If systems developers are to gain full advantage from such methods, they should be able to achieve designs that are not merely the subject of heated argument, but can be improved by careful, rigorous & machine-supported analysis.

This book describes an object-oriented design approach that combines the benefits of abstract modelling with the analytic power of formal methods, to give designs that can be rigorously validated & assured with automated support.

Aimed at software architects, designers & developers as well as computer scientists, no prior knowledge of formal methods is assumed. The elements of functional modelling are introduced using numerous examples & exercises, industrial case studies & experience reports. Industry-strength tools support the text. Go to www.vdmbook.com to download free-of-charge VDMTools Lite, which gives the possibility to try out examples from the book



Validated Cleaning Technologies For Pharmaceutical Manufacturing

Автор: Leblanc Destin A
Название: Validated Cleaning Technologies For Pharmaceutical Manufacturing
ISBN: 1574911163 ISBN-13(EAN): 9781574911169
Издательство: Taylor&Francis
Рейтинг:
Цена: 224570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Written by an expert especially for those who must design validatable cleaning processes and then must validate those processes, this book discusses interdependent topics from various technical areas and disciplines. It shows how each piece of the cleaning process fits into the validation program, making it more defensible in both internal quality audits and external regulatory audits. Designed for use in the overall validation program, the book demonstrates how to build a comprehensive program, and includes discussion and examples of cleaning systems, regulatory requirements, and special topics and issues. It provides an FDA cleaning validation guidance document and a comprehensive glossary.

Scientific Computing, Computer Arithmetic, and Validated Numerics

Автор: Marco Nehmeier; J?rgen Wolff von Gudenberg; Warwic
Название: Scientific Computing, Computer Arithmetic, and Validated Numerics
ISBN: 3319317687 ISBN-13(EAN): 9783319317687
Издательство: Springer
Рейтинг:
Цена: 46590.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed post proceedings of the16th International Symposium, SCAN 2014, held in Wurzburg, Germany, in September 2014. The 22 full papers presented were carefullyreviewed and selected from 60 submissions.

Object-Oriented Systems Analysis and Design

Автор: Bennett Simon
Название: Object-Oriented Systems Analysis and Design
ISBN: 0077125363 ISBN-13(EAN): 9780077125363
Издательство: McGraw-Hill
Рейтинг:
Цена: 68630.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Provides a practical framework for development that uses the major techniques from UML 2.2. This book follows an iterative and incremental approach based on the industry-standard Unified Process, placing systems analysis and design in the context of the whole systems lifestyle.

Scientific Computing, Validated Numerics, Interval Methods

Автор: Walter Kr?mer; J?rgen Wolff von Gudenberg
Название: Scientific Computing, Validated Numerics, Interval Methods
ISBN: 144193376X ISBN-13(EAN): 9781441933768
Издательство: Springer
Рейтинг:
Цена: 153720.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Developing Chemical Information Systems - An Object-Oriented Approach Using Enterprise Java

Автор: Li
Название: Developing Chemical Information Systems - An Object-Oriented Approach Using Enterprise Java
ISBN: 047175157X ISBN-13(EAN): 9780471751571
Издательство: Wiley
Рейтинг:
Цена: 258670.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This work provides both newcomers and advanced computer scientists and chemists with an excellent comprehensive how-to guide to developing chemical information systems. The author served as lead architect on the design of said systems at Merck and Co. , Inc.


Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2)
ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
Kaspi QR
   В Контакте     В Контакте Мед  Мобильная версия