Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops: ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4–5, 2024, Revised Selected Papers - Couverture souple

9783031947476: Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops: ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4–5, 2024, Revised Selected Papers

Couverture souple

ISBN 10 : 3031947479 ISBN 13 : 9783031947476

Editeur : Springer, 2025

Afficher les exemplaires de cette �dition comportant l?ISBN

This volume constitutes the papers of two workshops which were held in conjunction with the 22nd International Workshop on Software Engineering and Formal Methods, SEFM 2024 Collocated Workshops, held in Aveiro, Portugal, during November 4-5, 2024.

The 20 full papers presented in this book were carefully reviewed and selected from 36 submissions. SEFM 2024 Collocated Workshops presents the following two workshops:

ReacTS 2024: International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications.
CIFMA 2024: 6th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications.

Les informations fournies dans la section � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteur: Springer
Date d'�dition: 2025
Langue: anglais
ISBN 10: 3031947479
ISBN 13: 9783031947476
Reliure: Broch�
Nombre de pages: 300
�diteur: Proen�a Jos�, Fervari Raul, Martins Manuel A., Kahle Reinhard, Pluck Graham
Coordonn�es du fabricant: KINESIS
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
22391
Allemagne

R�sultats de recherche pour Software Engineering and Formal Methods. SEFM 2024...

Image d'archives

Software Engineering and Formal Methods SEFM 2024 Collocated Workshops (eng)

Proen�a, Jos�

Edit� par Springer, 2025

ISBN 10 : 3031947479 ISBN 13 : 9783031947476

Neuf Couverture souple

impression � la demande

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

�valuation du vendeur 5 sur 5 �toiles

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

Contacter le vendeur

Acheter neuf

EUR 65,43

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

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops: ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers (Lecture Notes in Computer Science)

Edit� par Springer, 2025

ISBN 10 : 3031947479 ISBN 13 : 9783031947476

Neuf Couverture souple

Vendeur : California Books, Miami, FL, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : New. N� de r�f. du vendeur I-9783031947476

Contacter le vendeur

Acheter neuf

EUR 85,06

Livraison gratuite
Exp�dition nationale�: Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops (Paperback)

Jose Proenca

Edit� par Springer International Publishing AG, Cham, 2025

ISBN 10 : 3031947479 ISBN 13 : 9783031947476

Neuf Paperback

impression � la demande

Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : new. Paperback. This volume constitutes the papers of two workshops which were held in conjunction with the 22nd International Workshop on Software Engineering and Formal Methods, SEFM 2024 Collocated Workshops, held in Aveiro, Portugal, during November 4-5, 2024. The 20 full papers presented in this book were carefully reviewed and selected from 36 submissions. SEFM 2024 Collocated Workshops presents the following two workshops:ReacTS 2024: International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications.CIFMA 2024: 6th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications. This volume constitutes the papers of two workshops which were held in conjunction with the 22nd International Workshop on Software Engineering and Formal Methods, SEFM 2024 Collocated Workshops, held in Aveiro, Portugal, during November 4-5, 2024. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N� de r�f. du vendeur 9783031947476

Contacter le vendeur

Acheter neuf

EUR 92,65

Livraison gratuite
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops

Jos� Proen�a

Edit� par Springer, Berlin, Springer Nature Switzerland, Springer, 2025

ISBN 10 : 3031947479 ISBN 13 : 9783031947476

Neuf Taschenbuch

impression � la demande

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 -This volume constitutes the papers of two workshops which were held in conjunction with the 22nd International Workshop on Software Engineering and Formal Methods, SEFM 2024 Collocated Workshops, held in Aveiro, Portugal, during November 4-5, 2024.The 20 full papers presented in this book were carefully reviewed and selected from 36 submissions. SEFM 2024 Collocated Workshops presents the following two workshops:ReacTS 2024: International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications.CIFMA 2024: 6th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications. 291 pp. Englisch. N� de r�f. du vendeur 9783031947476

Contacter le vendeur

Acheter neuf

EUR 79,17

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

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops: ReactTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4?5, 2024, Revised . (Lecture Notes in Computer Science, 15551)

Edit� par Springer, 2025

ISBN 10 : 3031947479 ISBN 13 : 9783031947476

Neuf Couverture souple

Vendeur : Books Puddle, New York, NY, Etats-Unis

�valuation du vendeur 4 sur 5 �toiles

Etat : New. N� de r�f. du vendeur 26404282588

Contacter le vendeur

Acheter neuf

EUR 116,55

EUR 3,40 shipping
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Software Engineering and Formal Methods. Sefm 2024 Collocated Workshops: Reactts 2024 and Cifma 2024, Aveiro, Portugal, November 45, 2024, Revised Selected Papers

Proen�a, Jos� (Editor)/ Fervari, Raul (Editor)/ Martins, Manuel A. (Editor)/ Kahle, Reinhard (Editor)/ Pluck, Graham (Editor)

Edit� par Springer-Nature New York Inc, 2025

ISBN 10 : 3031947479 ISBN 13 : 9783031947476

Neuf Paperback

Vendeur : Revaluation Books, Exeter, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : Brand New. 400 pages. 9.25x6.10x9.21 inches. In Stock. N� de r�f. du vendeur x-3031947479

Contacter le vendeur

Acheter neuf

EUR 110,42

EUR 11,38 shipping
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops: ReactTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4?5, 2024, Revised . (Lecture Notes in Computer Science, 15551)

Edit� par Springer, 2025

ISBN 10 : 3031947479 ISBN 13 : 9783031947476

Neuf Couverture souple

impression � la demande

Vendeur : Majestic Books, Hounslow, Royaume-Uni

�valuation du vendeur 4 sur 5 �toiles

Etat : New. Print on Demand. N� de r�f. du vendeur 409953027

Contacter le vendeur

Acheter neuf

EUR 121,94

EUR 7,40 shipping
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops (Paperback)

Jose Proenca

Edit� par Springer International Publishing AG, Cham, 2025

ISBN 10 : 3031947479 ISBN 13 : 9783031947476

Neuf Paperback

impression � la demande

Vendeur : CitiRetail, Stevenage, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : new. Paperback. This volume constitutes the papers of two workshops which were held in conjunction with the 22nd International Workshop on Software Engineering and Formal Methods, SEFM 2024 Collocated Workshops, held in Aveiro, Portugal, during November 4-5, 2024. The 20 full papers presented in this book were carefully reviewed and selected from 36 submissions. SEFM 2024 Collocated Workshops presents the following two workshops:ReacTS 2024: International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications.CIFMA 2024: 6th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications. This volume constitutes the papers of two workshops which were held in conjunction with the 22nd International Workshop on Software Engineering and Formal Methods, SEFM 2024 Collocated Workshops, held in Aveiro, Portugal, during November 4-5, 2024. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. N� de r�f. du vendeur 9783031947476

Contacter le vendeur

Acheter neuf

EUR 90,27

EUR 42,12 shipping
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops: ReactTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4?5, 2024, Revised . (Lecture Notes in Computer Science, 15551)

Edit� par Springer, 2025

ISBN 10 : 3031947479 ISBN 13 : 9783031947476

Neuf Couverture souple

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 18404282582

Contacter le vendeur

Acheter neuf

EUR 125,61

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

Quantit� disponible : 4 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops

Jos� Proen�a

Edit� par Springer, Springer Aug 2025, 2025

ISBN 10 : 3031947479 ISBN 13 : 9783031947476

Neuf Taschenbuch

impression � la demande

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 volume constitutes the papers of two workshops which were held in conjunction with the 22nd International Workshop on Software Engineering and Formal Methods, SEFM 2024 Collocated Workshops, held in Aveiro, Portugal, during November 4-5, 2024. The 20 full papers presented in this book were carefully reviewed and selected from 36 submissions. SEFM 2024 Collocated Workshops presents the following two workshops:ReacTS 2024: International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications.CIFMA 2024: 6th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Englisch. N� de r�f. du vendeur 9783031947476

Contacter le vendeur

Acheter neuf

EUR 79,17

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

Quantit� disponible : 1 disponible(s)

Ajouter au panier

There are 3 autres exemplaires de ce livre sont disponibles

Afficher tous les r�sultats pour ce livre