Monin Jean-Francois, Hinchey M.G. Understanding Formal Methods 9781852332471

Варианты приобретения

Цена: 79150.00T
Кол-во:
о цене
Наличие: Отсутствует. Возможна поставка под заказ.

При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину

в Мои желания

Автор: Monin Jean-Francois, Hinchey M.G.
Название: Understanding Formal Methods
ISBN: 9781852332471
Издательство: Springer
Классификация:

Компьютерное программирование / разработка по

ISBN-10: 1852332476
Обложка/Формат: Paperback
Страницы: 292
Вес: 0.42 кг.
Дата издания: 12.11.2002
Серия: Facit s.
Язык: English
Иллюстрации: 1, black & white illustrations
Размер: 23.72 x 15.49 x 1.55
Читательская аудитория: Tertiary education (us: college)
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This volume provides a comprehensive introduction to the field of formal methods for students and practitioners. It strikes a careful balance between rigorous exposition of the underlying mathematics and concrete examples of implementations using real-life tools, thus making it easy to grasp the underlying concepts and theories. It does not aim to provide guidelines for using a particular method, or comparisons of different approaches, but rather a conceptual framework that the reader can use to master any given method. It therefore makes an invaluable practical companion to introductory texts on logic and to books dedicated to a particular formal method. Understanding Formal Methods will be of interest to advanced students and engineers who need to learn the basics of this topic, and also professionals who need to broaden their knowledge or bring themselves up-to-date with the latest techniques.
Дополнительное описание: Круг читателей: Advanced undergraduate and postgraduate students on Formal Methods and Software Engineering courses.Computing professionals who need an introduction to Formal Methods in order to improve the quality of their systems.
Язык: eng
Оглавление: Foreword by Gerald Huet Preface Acronyms * Motivation * Introductory Exercise * A Presentation of Logical Tools * Hoare Logic * Classical Logic * Languages Based on Set Theory * Set Theory * Specifying Behavior * Deduction Systems * Abstract Data Types and Algebraic Specification * Type Systems and Constructive Logics * Using Type Theory Bibliography Index

Understanding Formal Methods, Monin Jean-Francois, Hinchey M.G.