Druck auf Anfrage Neuware - Printed after ordering - This volume constitutes the papers of two workshops which were held in conjunction with the 21st International WorkshoponSoftware Engineering and Formal Methods, SEFM 2023 Collocated Workshops, held in Eindhoven, The Netherlands, onNovember 6-10, 2023The 10 full papers presented in this book were carefully reviewed and selected from 16 submissions.SEFM 2023 Collocated Workshops presents the following two workshops:5th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications (CIFMA 2023)11th International Workshop on Open Community approaches to Education, Research and Technology(OpenCERT 2023).

N� de r�f. du vendeur 9783031660207

Contacter le vendeur

Signaler cet article

D�tails bibliographiques

Titre: Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops : CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6�10, 2023, Revised Selected Papers
�diteur: Springer Nature Switzerland
Date de parution: 2024
Langue: anglais
ISBN � 10 chiffres: 303166020X
ISBN � 13 chiffres: 9783031660207
Reliure: Taschenbuch
�tat de l'article: Neu

A propos de ce titre

Synopsis

This volume constitutes the papers of two workshops which were held in conjunction with the 21st International Workshop on Software Engineering and Formal Methods, SEFM 2023 Collocated Workshops, held in Eindhoven, The Netherlands, on November 6–10, 2023
The 10 full papers presented in this book were carefully reviewed and selected from 16 submissions.
SEFM 2023 Collocated Workshops presents the following two workshops:

- 5th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications (CIFMA 2023)
- 11th International Workshop on Open Community approaches to Education, Research and Technology (OpenCERT 2023)

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

Description de la librairie

Das Unternehmen AHA-BUCH GmbH: Seit der Gr�ndung von AHA-BUCH im Juli 2005 ist unser Hauptziel, zufriedenen Kunden so schnell und so preisg�nstig wie m�glich ihren B�cherwunsch zu erf�llen. Unsere Firma besch�ftigt 16 Mitarbeiter, die nur ein Ziel kennen: den Kunden und seine W�nsche! Auf �ber 3700 m2 Fl�che haben wir �ber 100.000 B�cher, Modernes Antiquariat und Spiele auf Lager.

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

AHA-BUCH GmbH
Garlebsen 48, Einbeck, 37574, Germany

Conditions de vente et de livraison

Conditions g�n�rales de vente

Conditions g�n�rales et informations client

I. Conditions g�n�rales

� 1 Dispositions de base

(1) Les conditions g�n�rales suivantes s?appliquent � tous les contrats que vous concluez avec nous en tant que fournisseur (AHA-BUCH GmbH) via les plateformes Internet AbeBooks et/ou ZVAB. Sauf accord contraire, l?inclusion de l?une de vos propres conditions g�n�rales que vous utilisez sera contest�e

(2) Un consommateur au sens des r�glements suivants est toute personne physique qui conclut une transact...

Pour plus d'information

Conditions d'exp�dition

Nous exp�dions votre commande apr�s les avoir re�ues
pour les articles disponibles au plus tard 24 heures,
pour les articles avec un approvisionnement de nuit au plus tard 48 heures.
Dans le cas o� nous devons commander un article aupr�s de notre fournisseur, notre d�lai d’exp�dition d�pend de la date de r�ception des articles, mais les articles seront exp�di�s le jour m�me.

Notre objectif est d’envoyer les articles command�s de la mani�re la plus rapide, mais aussi la plus efficace et la plus s�curis�e � nos clients.

Informations vendeur d�taill�es