Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre115,32 €
Produit Neuf
Ou 28,83 € /mois
- Livraison : 3,99 €
- Livré entre le 31 juillet et le 6 août
Nos autres offres
-
121,82 €
Produit Neuf
Ou 30,46 € /mois
- Livraison à 0,01 €
- Livré entre le 1 et le 13 août
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783031947476_dbm
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 Software Engineering And Formal Methods. Sefm 2024 Collocated Workshops Format Broché - Livre Informatique
0 avis sur Software Engineering And Formal Methods. Sefm 2024 Collocated Workshops Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Dynamo 1 Workbook A (Pack Of 8)
Neuf dès 68,20 €
-
Bilingue 2000 - Lexique Thématique De L'italien Contemporain, Lessico Tematico Del Francese Contemporaneo
2 avis
Occasion dès 58,05 €
-
Car Racing 1968
2 avis
Neuf dès 109,00 €
-
Cyanotype
Neuf dès 90,31 €
-
12 Division Headquarters, Branches And Services Royal Army Medical Corps Assistant Director Medical Services
Neuf dès 90,80 €
-
L'allemand Facile Par J. Chassard Et G. Weil. Classe De 4è. Nouvelle Édition. 1967.
Occasion dès 70,00 €
-
By Marc Pairon Art Deco Ceramics Made In Belgium: Charles Catteau
6 avis
Occasion dès 110,00 €
-
The Shock Of The Ancient
Neuf dès 79,73 €
-
An American Odyssey - Photos From The Detroit Photographic Compagny 1888-1924
Occasion dès 114,00 €
-
Project Management For Engineers
Neuf dès 98,92 €
-
Off The Record
Occasion dès 124,97 €
-
The Wine Trade In Medieval Europe 1000-1500
Neuf dès 79,17 €
-
Monster Hunter: World - Official Complete Works
1 avis
Neuf dès 58,42 €
-
Environmental Psychology
Neuf dès 64,71 €
-
Les Trains Blindes: De 1825 À Nos Jours
2 avis
Neuf dès 64,00 €
-
Abandoned Places
Neuf dès 83,99 €
-
Indian Jewelry Making Volume 1
Occasion dès 110,00 €
-
Argentina Ruta 40
Occasion dès 99,00 €
-
Fc Barcelona Training Sessions
Neuf dès 62,02 €
-
Confrontations - Confrontaties
Neuf dès 68,00 €
Produits similaires
Présentation Software Engineering And Formal Methods. Sefm 2024 Collocated Workshops Format Broché
- Livre Informatique
Résumé :
This volume constitutes the papers of two workshops which were held in conjunction with the 22nd International Workshop on Software Engineering and Formal Methods, SEFM 2024 Collocated Workshops, held in Aveiro, Portugal, during November 4-5, 2024. The 20 full papers presented in this book were carefully reviewed and selected from 36 submissions. SEFM 2024 Collocated Workshops presents the following two workshops: ReacTS 2024: International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications. CIFMA 2024: 6th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications....
Biographie:
s Message.- Behavioural Equivalences over Reconfigurable Systems.- Graph Games and Dynamic Logics.- Arbitrary Radical Upgrades.- Binders for switch graphs specification.- Higher-order arrows for Path-Dependent Many-Valued Systems.- Towards resolving distributed beliefs.- A new fuzzy approach to transition and bisimulation systems.- Pivotal Rules Consequence in Action Model Logic.- Paraconsistent Reactive Graphs.- Reconfiguring staggered quantum walks with ZX?.- Many-logic modal structures based on the lattice L6: a first look.- ...
Sommaire:
This volume constitutes the papers of two workshops which were held in conjunction with the 22nd International Workshop on Software Engineering and Formal Methods, SEFM 2024 Collocated Workshops, held in Aveiro, Portugal, during November 4-5, 2024. The 20 full papers presented in this book were carefully reviewed and selected from 36 submissions. SEFM 2024 Collocated Workshops presents the following two workshops: ReacTS 2024: International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications. CIFMA 2024: 6th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications....
Détails de conformité du produit
Personne responsable dans l'UE