Concurrency, Specification and Programming: Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming, Cs&p'21, Berlin, Germany - Couverture rigide

9783031266508: Concurrency, Specification and Programming: Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming, Cs&p'21, Berlin, Germany

Couverture rigide

ISBN 10 : 3031266501 ISBN 13 : 9783031266508

Editeur : Springer International Publishing AG, 2023

Afficher les exemplaires de cette �dition comportant l?ISBN

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.

�diteur: Springer International Publishing AG
Date d'�dition: 2023
Langue: anglais
ISBN 10: 3031266501
ISBN 13: 9783031266508
Reliure: Reli�
Nombre de pages: 243
�diteur: Schlingloff Bernd-Holger, Vogel Thomas, Skowron Andrzej
Coordonn�es du fabricant: ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Allemagne

R�sultats de recherche pour Concurrency, Specification and Programming: Revised...

Image d'archives

Concurrency, Specification and Programming (eng)

Schlingloff, Bernd-Holger

Edit� par Springer, 2023

ISBN 10 : 3031266501 ISBN 13 : 9783031266508

Neuf Couverture rigide

impression � la demande

Vendeur : Brook Bookstore On Demand, Napoli, NA, Italie

�valuation du vendeur 4 sur 5 �toiles

Etat : new. Questo � un articolo print on demand. N� de r�f. du vendeur VYLG10503B

Contacter le vendeur

Acheter neuf

EUR 134,27

Exp�dition �EUR 6,80
Exp�dition depuis Italie vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Concurrency, Specification and Programming

Edit� par Springer, Berlin|Springer International Publishing|Springer, 2023

ISBN 10 : 3031266501 ISBN 13 : 9783031266508

Neuf Couverture rigide

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 4 sur 5 �toiles

Gebunden. 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 795423566

Contacter le vendeur

Acheter neuf

EUR 144,94

Exp�dition �EUR 48,99
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Concurrency, Specification and Programming

Bernd-Holger Schlingloff

Edit� par Springer International Publishing Mai 2023, 2023

ISBN 10 : 3031266501 ISBN 13 : 9783031266508

Neuf Couverture rigide

impression � la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - 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. 244 pp. Englisch. N� de r�f. du vendeur 9783031266508

Contacter le vendeur

Acheter neuf

EUR 171,19

Exp�dition �EUR 23
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

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)

Edit� par Springer, 2023

ISBN 10 : 3031266501 ISBN 13 : 9783031266508

Neuf Couverture rigide

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 26396294565

Contacter le vendeur

Acheter neuf

EUR 204,93

Exp�dition �EUR 3,41
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 4 disponible(s)

Ajouter au panier

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

Bernd-Holger Schlingloff (u. a.)

Edit� par Springer, 2023

ISBN 10 : 3031266501 ISBN 13 : 9783031266508

Neuf Couverture rigide

impression � la demande

Vendeur : preigu, Osnabr�ck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Buch. 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.) | Buch | xii | Englisch | 2023 | Springer | EAN 9783031266508 | Verantwortliche Person f�r die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. N� de r�f. du vendeur 126446188

Contacter le vendeur

Acheter neuf

EUR 150,30

Exp�dition �EUR 70
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 5 disponible(s)

Ajouter au panier

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)

Edit� par Springer, 2023

ISBN 10 : 3031266501 ISBN 13 : 9783031266508

Neuf Couverture rigide

impression � la demande

Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne

�valuation du vendeur 4 sur 5 �toiles

Etat : New. PRINT ON DEMAND. N� de r�f. du vendeur 18396294575

Contacter le vendeur

Acheter neuf

EUR 219,66

Exp�dition �EUR 9,95
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 4 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Concurrency, Specification and Programming

Bernd-Holger Schlingloff

Edit� par Springer International Publishing, Springer International Publishing Mai 2023, 2023

ISBN 10 : 3031266501 ISBN 13 : 9783031266508

Neuf Couverture rigide

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Buch. Etat : Neu. 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 GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch. N� de r�f. du vendeur 9783031266508

Contacter le vendeur

Acheter neuf

EUR 171,19

Exp�dition �EUR 60
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

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

Bernd-Holger Schlingloff

Edit� par Springer International Publishing, 2023

ISBN 10 : 3031266501 ISBN 13 : 9783031266508

Neuf Couverture rigide

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Buch. 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 9783031266508

Contacter le vendeur