Concurrency, Specification and Programming: Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany - Couverture souple
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Concurrency, Specification and Programming: Revised...
Image d'archives
Concurrency, Specification and Programming (eng)
impression à la demandeVendeur : Brook Bookstore On Demand, Napoli, NA, Italie
Évaluation du vendeur 3 sur 5 étoiles
Etat : new. Questo è un articolo print on demand. N° de réf. du vendeur FUWGBVNTBO
Acheter neuf
EUR 134,27
Expédition à EUR 5,50
Expédition depuis Italie vers Etats-Unis
Expédition depuis Italie vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Concurrency, Specification and Programming
Edité par
Springer, Berlin|Springer International Publishing|Springer, 2024
ISBN 10 : 3031266536
ISBN 13 : 9783031266539
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 base. N° de réf. du vendeur 1612335578
Acheter neuf
EUR 144,94
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Concurrency, Specification and Programming
Edité par
Springer International Publishing Mai 2024, 2024
ISBN 10 : 3031266536
ISBN 13 : 9783031266539
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 244 pp. Englisch. N° de réf. du vendeur 9783031266539
Acheter neuf
EUR 171,19
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Concurrency, Specification and Programming | Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany
Vendeur : preigu, Osnabrück, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Concurrency, Specification and Programming | Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany | Bernd-Holger Schlingloff (u. a.) | Taschenbuch | xii | Englisch | 2024 | Springer | EAN 9783031266539 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. N° de réf. du vendeur 129145202
Acheter neuf
EUR 149
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 5 disponible(s)
Image d'archives
Concurrency, Specification and Programming: Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming . (Studies in Computational Intelligence, 1091)
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. 2023rd edition NO-PA16APR2015-KAP. N° de réf. du vendeur 26401135873
Acheter neuf
EUR 219,31
Expédition à EUR 3,43
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 4 disponible(s)
Image fournie par le vendeur
Concurrency, Specification and Programming
Edité par
Springer, Palgrave Macmillan Mai 2024, 2024
ISBN 10 : 3031266536
ISBN 13 : 9783031266539
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 244 pp. Englisch. N° de réf. du vendeur 9783031266539
Acheter neuf
EUR 171,19
Expédition à EUR 60
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Concurrency, Specification and Programming : Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany
Edité par
Springer International Publishing, 2024
ISBN 10 : 3031266536
ISBN 13 : 9783031266539
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. N° de réf. du vendeur 9783031266539
Acheter neuf
EUR 171,19
Expédition à EUR 61,88
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Concurrency, Specification and Programming: Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming . (Studies in Computational Intelligence, 1091)
impression à la demandeVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Print on Demand. N° de réf. du vendeur 396322526
Acheter neuf
EUR 230,83
Expédition à EUR 7,51
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Concurrency, Specification and Programming: Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming . (Studies in Computational Intelligence, 1091)
impression à la demandeVendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. PRINT ON DEMAND. N° de réf. du vendeur 18401135883
Acheter neuf
EUR 233,37
Expédition à EUR 9,95
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 4 disponible(s)