Каталог: Наука, образование »•» Математика, статистика

	ред. Aceto, Luca; Bacci, Giorgio; Bacci, Giovanni и др. Models, Algorithms, Logics and Tools Серия: Theoretical Computer Science and General Issues
	Издательство: New York: Springer
	Переплет: ламинированный тверд.; 679 страниц; 2017 г.
	ISBN: 978-3-319-63120-2; Формат: стандартный
	Язык: английский
	На сайте с 04.11.2023

Аннотация

Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday (Lecture Notes in Computer Science, 10460).

Contains 32 papers that feature the broad range of Kim Guldstrand Larsen's research topics, such as formal languages and automata theory; logic; verification, model checking and testing; algorithmic game theory and mechanism design; semantics and reasoning; real-time and distributed systems; and modeling and simulation.

В продаже   Хочу купить

Продавец: Leon-books (Истра, RU/50 )   Состояние: новое; В продаже с 04.11.2023 Условия доставки и оплаты Способы доставки: самовывоз; почтой по предоплате Способы оплаты: банковской картой; электронный платеж (WM, Y.Д и т.п.) Дополнительно: При заказе от 3-х книг -- скидка от 3%. При заказе от 6-ти книг -- скидка от 6%. При заказе от 10-ти книг -- скидка от 10%. Доставка "Почтой России" или "Яндексом": отправка со склада в течение 2х-3х дней! Отправка другими транспортными компаниями в течение 4х дней. Самовывоз в любой день. Подробно опишу состояние книги; содержание -- до заказа (через кнопку "Спросить" *). Фото -- до за... [подробнее]

Цена 23297 руб

Искать похожие  только название автор и название

Добавить объявление продаю хочу купить

листать