Schreiner Wolfgang Thinking Programs: Logical Modeling and Reasoning about Languages, Data, Computations, and Executions 9783030805067

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

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

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

в Мои желания

Автор: Schreiner Wolfgang
Название: Thinking Programs: Logical Modeling and Reasoning about Languages, Data, Computations, and Executions
ISBN: 9783030805067
Издательство: Springer
Классификация:

Математические основы

Математическая теория вычислений

ISBN-10: 3030805069
Обложка/Формат: Hardcover
Страницы: 604
Вес: 1.11 кг.
Дата издания: 18.09.2021
Язык: English
Размер: 23.39 x 15.60 x 3.66 cm
Ссылка на Издательство: Link
Поставляется из: Германии
Описание: Part I The Foundations.- Syntax and Semantics.- The Language of Logic.- The Art of Reasoning.- Building Models.- Recursion.- Part II The Higher Planes.- Abstract Data Types.- Programming Languages.- Computer Programs.- Concurrent Systems.- References.- Index.

Thinking Programs: Logical Modeling and Reasoning about Languages, Data, Computations, and Executions, Schreiner Wolfgang