Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Concurrency, Specification and Programming

Name: Concurrency, Specification and Programming
Brand: Springer Nature B.V.
SKU: 43418029
Price: 59.71 EUR
Availability: InStock
Author: Bernd-Holger Schlingloff
ISBN: 9783031266522

Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany

Bernd-Holger Schlingloff

Thomas Vogel

Andrzej Skowron

Език

Английски език

Книга С меки корици

Код Либристо: 43418029

Издателство Springer Nature B.V., юни 2023

This book presents novel approaches to the formal specification of concurrent and parallel systems,... Цялото описание

Код Либристо: 43418029

145 b

59.71 €

116.78 лв

Външен склад Изпращаме след 10-18 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

Wonder Woman, 1 DVD Martin Walsh

DVD

13.68 € 26.76 лв

BABADADA, Bulgarian (in cyrillic script) - Azərbaycan dili, visual dictionary (in cyrillic script) - şəkilli luğət Babadada Gmbh

С меки корици

28.30 € 55.36 лв

Resiliencia contra el desaliento Elba Aurora Castro Rosales

Adobe ePub DRM

9.24 € 18.08 лв

This book presents novel approaches to the formal specification of concurrent and parallel systems, mathematical models for describing such systems, and programming and verification concepts for their implementation. A special emphasis is on methods based on artificial intelligence and machine learning techniques.

Chapters are revised selected papers from the 29th International Workshop on Concurrency, Specification, and Programming (CS&P 2021), Berlin, Germany. Nine independent chapters cover formal approaches to topics such as requirements formalization, parsing, or granular computing, as well as their applications in recommender systems, decision making, security, optimization, and other areas. The book thus addresses both researchers and practitioners in its field.