Software Engineering and Formal Methods. SEFM 2025 Collocated Workshops
Editat de Francesco Bianchini, Arianna Pavone, Jose Proenca, Jose Ignacio Requeno Jarabo, Umberto Rivieccioen Limba Engleză Paperback – 24 feb 2027
Preț: 645.07 lei
Preț vechi: 806.33 lei
-20% Precomandă
Puncte Express: 968
Carte nepublicată încă
Livrare prin curier în România Precomanda se expediază când titlul devine disponibil.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Doresc să fiu notificat când acest titlu va fi disponibil:
Se trimite...
Specificații
ISBN-13: 9783032297129
ISBN-10: 3032297125
Pagini: 237
Dimensiuni: 155 x 235 mm
Editura: Springer Nature Switzerland AG
ISBN-10: 3032297125
Pagini: 237
Dimensiuni: 155 x 235 mm
Editura: Springer Nature Switzerland AG
Cuprins
Comparing finite many-valued logics via WSkS.- goLoop: SMT-Based Loop Analysis via Global Optimization.- Probabilistic Relation-Changing Operators.- Reconfigurable stochastic multi-formalism models: an approach based on Maude.- A HASKELL encoding for reconfigurable timed systems.- Reasoning about blurred observations of program states: A recipe.- Four-valued logics of indicative conditionals.- Dynamic Fuzzy Language for Labeled Fuzzy Reactive Graphs.- Janus Cognition: Bio ¿ Xeno Round-Trip.- Does Dual Tasking Expend Limited-Resource Executive Processes?.- Cognitively Inspired Sampled String Matching.- A Modal Semantics of Perception.- Representation and invariance in reinforcement learning.- Fake News through Influence Models: a proposal.- Quantum Collapse as a Model of Creative Insight: A Formal Framework for Emergent Cognition.- The Evolution of Metaphorical Language: A Formal Model of Figurative Communication.- Semi-Participants: LLMs, Activity Theory, and the Symbol Grounding Problem.