Foundations of Software Science and Computation Structures -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre69,36 €
Produit Neuf
Ou 17,34 € /mois
- Livraison : 3,99 €
- Livré entre le 28 juillet et le 3 août
Nos autres offres
-
73,35 €
Produit Neuf
Ou 18,34 € /mois
- Livraison à 0,01 €
- Livré entre le 29 juillet et le 10 août
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783030452308_dbm
Voir le détail de l'annonce -
80,58 €
Produit Neuf
Ou 20,15 € /mois
- Livraison : 25,00 €
- Livré entre le 11 et le 17 août
Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.
Voir le détail de l'annonce
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Foundations Of Software Science And Computation Structures Format Broché - Livre
0 avis sur Foundations Of Software Science And Computation Structures Format Broché - Livre
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
Présentation Foundations Of Software Science And Computation Structures Format Broché
- Livre
Résumé :
This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 31 regular papers presented in this volume were carefully reviewed and selected from 98 submissions. The papers cover topics such as categorical models and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency theory and process calculi; rewriting theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification and refinement; models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems; emerging models of computation; logical aspects of computational complexity; models of software security; and logical foundations of data bases.?
Détails de conformité du produit
Personne responsable dans l'UE