Formal Aspects of Component Software
par Diego Marmsoler, Meng Sun · Springer · tapa blanda · ISBN 9783031712609
3,8
6 personnes voient ceciVu 3 fois
-
TVA incluse
Livraison GRATUITE · arrive le 28 oct
Retour gratuit sous 30 jours
Payer avec :
Offres disponibles par état
Garantie qualité Hamelyn · vérifié et contrôlé, ou remboursé
Détails du produit
Auteur: Diego Marmsoler, Meng Sun
ISBN: 9783031712609
Éditeur: Springer
Langue: Anglais
Format: tapa blanda
Date de publication: 17/10/2024
Pages: 138 pages
Dimensions: 23.4 x 15.6 x 0.9 cm
Poids: 245 g
Synopsis de Formal Aspects of Component Software
«Formal Aspects of Component Software» est le livre des actes de la conférence FACS 2024, édité par Diego Marmsoler et Meng Sun (Springer, broché).
Le volume rassemble les travaux sélectionnés de la vingtième édition de la conférence, centrés sur l'analyse formelle du logiciel à composants. Les huit textes traitent de la vérification et des tests, des modèles formels et de la sécurité avec blockchain, et montrent des approches actuelles pour la conception et la composition de systèmes logiciels.
Volume 15189 de Lecture Notes in Computer Science; actes de la 20e Conférence internationale FACS 2024, tenue à Milan les 9 et 10 septembre 2024.
Pour les chercheurs et professionnels travaillant avec des méthodes formelles, la vérification de logiciels et la sécurité blockchain.
Plus de titres pour ceux qui ont lu Formal Aspects of Component Software de Diego Marmsoler
Recommandé par Julia
Livres les plus vendus en Génie logiciel
Meilleures ventes
Dernière unité !4 personnes l'ont dans leur panier
-
TVA incluse