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 3 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 d'archives

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, 2023

ISBN 10 : 3031266501 ISBN 13 : 9783031266508

Neuf Couverture rigide

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : New. In. N� de r�f. du vendeur ria9783031266508_new

Contacter le vendeur

Acheter neuf

EUR 163,95

Exp�dition �EUR 13,83
Exp�dition depuis Royaume-Uni 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 5 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 220,80

Exp�dition �EUR 3,43
Exp�dition nationale�: 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, Palgrave Macmillan Mai 2023, 2023

ISBN 10 : 3031266501 ISBN 13 : 9783031266508

Neuf Couverture rigide

impression � la demande

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

�valuation du vendeur 5 sur 5 �toiles

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

Contacter le vendeur

Acheter neuf

EUR 171,19

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

Quantit� disponible : 1 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