Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Fundamentals of Software Engineering, FSEN 2023, held Tehran, Iran in May 4-5, 2023.The 9 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 19 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. The papers are organized in topical sections on coordination, logic, networks, parallel computation, and testing.

N� de r�f. du vendeur 9783031424403

Contacter le vendeur

Signaler cet article

D�tails bibliographiques

Titre: Fundamentals of Software Engineering : 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers
�diteur: Springer Nature Switzerland, Springer International Publishing
Date de parution: 2023
Langue: anglais
ISBN � 10 chiffres: 3031424409
ISBN � 13 chiffres: 9783031424403
Reliure: Taschenbuch
�tat de l'article: Neu

A propos de ce titre

Synopsis

This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Fundamentals of Software Engineering, FSEN 2023, held Tehran, Iran in May 4-5, 2023.

The 9 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 19 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. The papers are organized in topical sections on coordination, logic, networks, parallel computation, and testing.

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