Tools and Algorithms for the Construction and Analysis of Systems
30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
Model Checking.- automata and learning.- software verification.- probabilistic systems.- simulations.
Afficher plusDisponible, délai de livraison : 1-3 jours
Plus que quelques exemplaires disponibles !
Plus d'infos sur l'état
-25%
42,79 €*
(économie de 24.82%)
32,17 €*
Prix TTC plus Frais de livraison
Garantie de satisfaction 14 jours
Commande sans risque
Produits d'occasion contrôlés
Contrôlé individuellement
Informations sur le produit "Tools and Algorithms for the Construction and Analysis of Systems"
Model Checking.- automata and learning.- software verification.- probabilistic systems.- simulations.
Sous-titre
30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
H | L | P | g
235 mm | 155 mm | 23 mm | 0.616 kg
Année de publication
2024
Classification d'âge
0
Édition
Taschenbuch
Éditeur
Palgrave Macmillan
ISBN-10
3031572483
Autres contributeurs
Finkbeiner, Bernd | Kovács, Laura
Langue
Englisch
Nombre de Pages
408
Thèmes
Theoretische Informatik, Computermodellierung und -simulation, Software Engineering, Computermodellierung und -simulation, Netzwerk-Hardware
Personne responsable
selon l'art. 16 GPSR
Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115, Heidelberg, DE, ProductSafety@springernature.com
Connexion
Livraison gratuite à partir de 29 €
Retour gratuit pendant 14 jours - Aucun risque
Livres d'occasion vérifiés