Menu
Sprawdź status swojego zamówienia
Skontaktuj się z nami
Książka Concurrency, Specification and Programming Bernd-Holger Schlingloff

Concurrency, Specification and Programming

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

Autor: Bernd-Holger Schlingloff, Thomas Vogel, Andrzej Skowron
Język: Angielski
Oprawa: Miękka
Wydawca: Springer Nature B.V.
Dostępność: Dostępna u dostawcy
Wysyłamy za 10-18 dni
223.35 zł
This book presents novel approaches to the formal specification of concurrent and parallel systems,...

Informacje o książce

Autor
Bernd-Holger Schlingloff, Thomas Vogel, Andrzej Skowron
Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2023
strony
244
EAN
9783031266522
Enbook ID
43418029
Wydawca
Springer Nature B.V.
Waga
349
Wymiary
156 x 234

Pełny opis

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.

Możesz być zainteresowany

Halfway to the Grave

Jeaniene Frost
39.09 zł

Forever Fuel

Peter Hoffmann
863.23 zł

Klienci, którzy kupili tę książkę, kupili również

Wonder Woman, 1 DVD

Martin Walsh
54.05 zł

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

Babadada Gmbh
117.00 zł

Resiliencia contra el desaliento

Elba Aurora Castro Rosales
36.35 zł