Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv 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

Szerző: Bernd-Holger Schlingloff, Thomas Vogel, Andrzej Skowron
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: Springer Nature B.V.
Elérhetőség: Beszállítói készleten
Küldés 14-21 napon belül
20 167 Ft
This book presents novel approaches to the formal specification of concurrent and parallel systems,...

Információk a könyvről

Szerző
Bernd-Holger Schlingloff, Thomas Vogel, Andrzej Skowron
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2023
oldal
244
EAN
9783031266522
Enbook ID
43418029
Kiadó
Springer Nature B.V.
Súly
349
Méretek
156 x 234

Teljes leírás

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.

Érdekelheti

Jesus The Way, The Truth and The Life

Thd Dr Ronald Bish
16 270 Ft

My Dear Sara Civil War Letters 1861-1865

Robert Adams
12 094 Ft

My Sheep Won't Sleep

Melissa Baker Nguyen
4 725 Ft

How I Stopped Being a Fatty (On the Outside)

Wayne Chris Wayne
3 054 Ft

Forever Fuel

Peter Hoffmann
94 573 Ft

Hotel Hippocampus

Jack Karasch
3 328 Ft

God Who Sees You

Tammy Maltby
6 266 Ft

There Is No Crime for Those Who Have Christ

Michael Gaddis
13 886 Ft

Halfway to the Grave

Jeaniene Frost
3 926 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Wonder Woman, 1 DVD

Martin Walsh
4 971 Ft

Chroniques, Tome 5

Sans Auteur
8 578 Ft

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

Babadada Gmbh
11 064 Ft

Eloge de Xavier Sigalon

DE SAINT-MAURICE-C-R-E
5 308 Ft

Soigner par l'alimentation

Jean Seignalet
8 024 Ft

Рисуем мангу с Марком Крилли. Пошаговые техники и практические советы

М. Крилли
3 140 Ft

Oeuvres Completes de Alfred de Vigny. Journal d'Un Poete (Ed.1883-1885)

Alfred De Vigny
10 495 Ft

Annai Enum Poonkatru / அன்னை எனும் பூங்காற&#3021

Jawahar Premalatha
6 791 Ft

Resiliencia contra el desaliento

Elba Aurora Castro Rosales
3 095 Ft