Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Coordination models and languages : 23rd IFIP WG 6.1 international conference, COORDINATION 2021 : held as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021 : Valletta, Malta, June 14-18, 2021 : proceedings / / Ferruccio Damiani, Ornela Dardha (editors)
| Coordination models and languages : 23rd IFIP WG 6.1 international conference, COORDINATION 2021 : held as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021 : Valletta, Malta, June 14-18, 2021 : proceedings / / Ferruccio Damiani, Ornela Dardha (editors) |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (XVI, 301 p. 134 illus., 56 illus. in color.) |
| Disciplina | 005 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software architecture
Electronic data processing - Distributed processing |
| ISBN | 3-030-78142-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modeling and analyzing resource-sensitive actors: A tutorial introduction -- Manifestly Phased Communication via Shared Session Types -- Deconfined Global Types for Asynchronous Sessions -- Relating Functional and Imperative Session Types -- Safe Session-Based Asynchronous Coordination in Rust -- A Session Subtyping Tool -- Towards Probabilistic Session-Type Monitoring -- Java Typestate Checker -- Asynchronous Global Types in co-logic Programming -- Tuple-Based Coordination in Large-Scale Situated Systems -- A Theory of Automated Market Makers in DeFi -- ReGraDa: Reactive Graph Data -- The Structure of Concurrent Process Histories -- A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts -- A Practical Tool-Chain for the Development of Coordination Scenarios: Graphical Modeler, DSL, Code Generators and Automaton-Based Simulator -- Microservice Dynamic Architecture-Level Deployment Orchestration -- Jolie & LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices -- ScaFi-Web: a Web-Based Application for Field-Based Coordination Programming. |
| Record Nr. | UNINA-9910483717903321 |
| Cham, Switzerland : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Coordination models and languages : 23rd IFIP WG 6.1 international conference, COORDINATION 2021 : held as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021 : Valletta, Malta, June 14-18, 2021 : proceedings / / Ferruccio Damiani, Ornela Dardha (editors)
| Coordination models and languages : 23rd IFIP WG 6.1 international conference, COORDINATION 2021 : held as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021 : Valletta, Malta, June 14-18, 2021 : proceedings / / Ferruccio Damiani, Ornela Dardha (editors) |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (XVI, 301 p. 134 illus., 56 illus. in color.) |
| Disciplina | 005 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software architecture
Electronic data processing - Distributed processing |
| ISBN | 3-030-78142-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modeling and analyzing resource-sensitive actors: A tutorial introduction -- Manifestly Phased Communication via Shared Session Types -- Deconfined Global Types for Asynchronous Sessions -- Relating Functional and Imperative Session Types -- Safe Session-Based Asynchronous Coordination in Rust -- A Session Subtyping Tool -- Towards Probabilistic Session-Type Monitoring -- Java Typestate Checker -- Asynchronous Global Types in co-logic Programming -- Tuple-Based Coordination in Large-Scale Situated Systems -- A Theory of Automated Market Makers in DeFi -- ReGraDa: Reactive Graph Data -- The Structure of Concurrent Process Histories -- A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts -- A Practical Tool-Chain for the Development of Coordination Scenarios: Graphical Modeler, DSL, Code Generators and Automaton-Based Simulator -- Microservice Dynamic Architecture-Level Deployment Orchestration -- Jolie & LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices -- ScaFi-Web: a Web-Based Application for Field-Based Coordination Programming. |
| Record Nr. | UNISA-996464393503316 |
| Cham, Switzerland : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Methods for Components and Objects [[electronic resource] ] : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers / / edited by Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue
| Formal Methods for Components and Objects [[electronic resource] ] : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers / / edited by Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (X, 356 p. 129 illus.) |
| Disciplina | 004.01/51 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Operating systems (Computers) Computer logic Application software Software Engineering Programming Languages, Compilers, Interpreters Operating Systems Logics and Meanings of Programs Software Engineering/Programming and Operating Systems Information Systems Applications (incl. Internet) |
| ISBN | 3-642-35887-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The ASCENS Project -- ASCENS: Engineering Autonomic Service-Component Ensembles -- A Language-Based Approach to Autonomic Computing -- A Survey on Basic Connectors and Buffers -- The EternalS Coordination Action -- Synthesis-Based Variability Control: Correctness by Construction -- Modeling Application-Level Management of Virtualized Resources in ABS -- HATS Abstract Behavioral Specification: The Architectural View -- Automatic Service Categorisation through Machine Learning in Emergent Middleware -- Towards a Model- and Learning-Based Framework for Security Anomaly Detection -- Enhancing Model Driven Security through Pattern Refinement Techniques -- Project Zeppelin: A Modern Web Application Development Framework -- The ParaPhrase Project -- Managing Adaptivity in Parallel Systems -- The ParaPhrase Project: Parallel Patterns for Adaptive Heterogeneous Multicore Systems -- Paraphrasing: Generating Parallel Programs Using Refactoring -- An Abstract Annotation Model for Skeletons -- The PRO3D Project -- PRO3D, Programming for Future 3D Manycore Architectures: Project Interim Status -- Thermal-Aware Task Assignment for Real-Time Applications on Multi-Core Systems -- Component Assemblies in the Context of Manycore -- Low-Cost Dynamic Voltage and Frequency Management Based upon Robust Control Techniques under Thermal Constraints. |
| Record Nr. | UNISA-996465989903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Methods for Executable Software Models [[electronic resource] ] : 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures / / edited by Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer
| Formal Methods for Executable Software Models [[electronic resource] ] : 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures / / edited by Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (VIII, 343 p. 101 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computers Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Theory of Computation |
| ISBN | 3-319-07317-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996217782503316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Methods for Executable Software Models : 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures / / edited by Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer
| Formal Methods for Executable Software Models : 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures / / edited by Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (VIII, 343 p. 101 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computers Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Theory of Computation |
| ISBN | 3-319-07317-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910484268203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Verification of Object-Oriented Software [[electronic resource] ] : International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers / / edited by Bernhard Beckert, Ferruccio Damiani, Dilian Gurov
| Formal Verification of Object-Oriented Software [[electronic resource] ] : International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers / / edited by Bernhard Beckert, Ferruccio Damiani, Dilian Gurov |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (X, 251 p. 34 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Computer logic Management information systems Computer science Software Engineering Programming Techniques Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Management of Computing and Information Systems |
| ISBN | 3-642-31762-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modular Verification of Object-Based Programs -- The COST IC0701 Verification Competition 2011 -- The Practical Application of Formal Methods: Where Is the Benefit for Industry? -- Isolation Types and Multi-core Architectures -- Modelling Adaptable Distributed Object Oriented Systems Using the HATS Approach: A Fredhopper Case Study.-Modeling and Analyzing the Interaction of C and C++ Strings -- Integration of Bounded Model Checking and Deductive Verification -- A Probabilistic Framework for Object-Oriented Modeling and Analysis of Distributed Systems -- Automated Detection of Non-termination and NullPointerExceptions for Java Bytecode -- An Abstract JVM -- A Verified Implementation of Priority Monitors in Java -- Scheduler-Specific Confidentiality for Multi-threaded Programs and Its Logic-Based Verification -- A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios -- A K-Based Formal Framework for Domain-Specific Modelling Languages -- Verification of Information Flow Properties of Java Programs without Approximations. |
| Record Nr. | UNISA-996465308103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Types for Proofs and Programs [[electronic resource] ] : International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers / / edited by Stefano Berardi, Ferruccio Damiani, Ugo de Liguoro
| Types for Proofs and Programs [[electronic resource] ] : International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers / / edited by Stefano Berardi, Ferruccio Damiani, Ugo de Liguoro |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (VIII, 323 p.) |
| Disciplina | 005.13122gerDNB |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer programming
Computer science Machine theory Compilers (Computer programs) Computer science—Mathematics Artificial intelligence Programming Techniques Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Compilers and Interpreters Symbolic and Algebraic Manipulation Artificial Intelligence |
| ISBN | 3-642-02444-0 |
| Classificazione |
DAT 373f
DAT 510f DAT 706f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Type Inference by Coinductive Logic Programming -- About the Formalization of Some Results by Chebyshev in Number Theory -- A New Elimination Rule for the Calculus of Inductive Constructions -- A Framework for the Analysis of Access Control Models for Interactive Mobile Devices -- Proving Infinitary Normalization -- First-Class Object Sets -- Monadic Translation of Intuitionistic Sequent Calculus -- Towards a Type Discipline for Answer Set Programming -- Type Inference for a Polynomial Lambda Calculus -- Local Theory Specifications in Isabelle/Isar -- Axiom Directed Focusing -- A Type System for Usage of Software Components -- Merging Procedural and Declarative Proof -- Using Structural Recursion for Corecursion -- Manifest Fields and Module Mechanisms in Intensional Type Theory -- A Machine-Checked Proof of the Average-Case Complexity of Quicksort in Coq -- Coalgebraic Reasoning in Coq: Bisimulation and the ?-Coiteration Scheme -- A Process-Model for Linear Programs -- Some Complexity and Expressiveness Results on Multimodal and Stratified Proof Nets. |
| Record Nr. | UNISA-996465856203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Types for proofs and programs : international conference, TYPES 2008, Torino, Italy, March 26-29, 2008 : revised selected papers / / Stefano Berardi, Ferruccio Damiani, Ugo de'Liguoro (eds.)
| Types for proofs and programs : international conference, TYPES 2008, Torino, Italy, March 26-29, 2008 : revised selected papers / / Stefano Berardi, Ferruccio Damiani, Ugo de'Liguoro (eds.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg, : Springer, c2009 |
| Descrizione fisica | 1 online resource (VIII, 323 p.) |
| Disciplina | 005.13122gerDNB |
| Altri autori (Persone) |
BerardiStefano
DamianiFerruccio De'LiguoroUgo |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Automatic theorem proving
Computer programming |
| ISBN | 3-642-02444-0 |
| Classificazione |
DAT 373f
DAT 510f DAT 706f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Type Inference by Coinductive Logic Programming -- About the Formalization of Some Results by Chebyshev in Number Theory -- A New Elimination Rule for the Calculus of Inductive Constructions -- A Framework for the Analysis of Access Control Models for Interactive Mobile Devices -- Proving Infinitary Normalization -- First-Class Object Sets -- Monadic Translation of Intuitionistic Sequent Calculus -- Towards a Type Discipline for Answer Set Programming -- Type Inference for a Polynomial Lambda Calculus -- Local Theory Specifications in Isabelle/Isar -- Axiom Directed Focusing -- A Type System for Usage of Software Components -- Merging Procedural and Declarative Proof -- Using Structural Recursion for Corecursion -- Manifest Fields and Module Mechanisms in Intensional Type Theory -- A Machine-Checked Proof of the Average-Case Complexity of Quicksort in Coq -- Coalgebraic Reasoning in Coq: Bisimulation and the ?-Coiteration Scheme -- A Process-Model for Linear Programs -- Some Complexity and Expressiveness Results on Multimodal and Stratified Proof Nets. |
| Altri titoli varianti | TYPES 2007 |
| Record Nr. | UNINA-9910483948103321 |
| Berlin ; ; Heidelberg, : Springer, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Types for Proofs and Programs [[electronic resource] ] : International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers / / edited by Stefano Berardi, Mario Coppo, Ferruccio Damiani
| Types for Proofs and Programs [[electronic resource] ] : International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers / / edited by Stefano Berardi, Mario Coppo, Ferruccio Damiani |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (X, 412 p.) |
| Disciplina | 004/.01/5113 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Programming languages (Electronic computers)
Computer logic Mathematical logic Artificial intelligence Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages Artificial Intelligence |
| ISBN |
3-540-24849-8
3-540-22164-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Modular Hierarchy of Logical Frameworks -- Tailoring Filter Models -- Locales and Locale Expressions in Isabelle/Isar -- to PAF!, a Proof Assistant for ML Programs Verification -- A Constructive Proof of Higman’s Lemma in Isabelle -- A Core Calculus of Higher-Order Mixins and Classes -- Type Inference for Nested Self Types -- Inductive Families Need Not Store Their Indices -- Modules in Coq Are and Will Be Correct -- Rewriting Calculus with Fixpoints: Untyped and First-Order Systems -- First-Order Reasoning in the Calculus of Inductive Constructions -- Higher-Order Linear Ramified Recurrence -- Confluence and Strong Normalisation of the Generalised Multiary ?-Calculus -- Wellfounded Trees and Dependent Polynomial Functors -- Classical Proofs, Typed Processes, and Intersection Types -- “Wave-Style” Geometry of Interaction Models in Rel Are Graph-Like Lambda-Models -- Coercions in Hindley-Milner Systems -- Combining Incoherent Coercions for ? -Types -- Induction and Co-induction in Sequent Calculus -- QArith: Coq Formalisation of Lazy Rational Arithmetic -- Mobility Types in Coq -- Some Algebraic Structures in Lambda-Calculus with Inductive Types -- A Concurrent Logical Framework: The Propositional Fragment -- Formal Proof Sketches -- Applied Type System. |
| Record Nr. | UNISA-996465431103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Types for Proofs and Programs : International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers / / edited by Stefano Berardi, Mario Coppo, Ferruccio Damiani
| Types for Proofs and Programs : International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers / / edited by Stefano Berardi, Mario Coppo, Ferruccio Damiani |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (X, 412 p.) |
| Disciplina | 004/.01/5113 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Programming languages (Electronic computers)
Computer logic Logic, Symbolic and mathematical Artificial intelligence Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages Artificial Intelligence |
| ISBN |
3-540-24849-8
3-540-22164-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Modular Hierarchy of Logical Frameworks -- Tailoring Filter Models -- Locales and Locale Expressions in Isabelle/Isar -- to PAF!, a Proof Assistant for ML Programs Verification -- A Constructive Proof of Higman’s Lemma in Isabelle -- A Core Calculus of Higher-Order Mixins and Classes -- Type Inference for Nested Self Types -- Inductive Families Need Not Store Their Indices -- Modules in Coq Are and Will Be Correct -- Rewriting Calculus with Fixpoints: Untyped and First-Order Systems -- First-Order Reasoning in the Calculus of Inductive Constructions -- Higher-Order Linear Ramified Recurrence -- Confluence and Strong Normalisation of the Generalised Multiary ?-Calculus -- Wellfounded Trees and Dependent Polynomial Functors -- Classical Proofs, Typed Processes, and Intersection Types -- “Wave-Style” Geometry of Interaction Models in Rel Are Graph-Like Lambda-Models -- Coercions in Hindley-Milner Systems -- Combining Incoherent Coercions for ? -Types -- Induction and Co-induction in Sequent Calculus -- QArith: Coq Formalisation of Lazy Rational Arithmetic -- Mobility Types in Coq -- Some Algebraic Structures in Lambda-Calculus with Inductive Types -- A Concurrent Logical Framework: The Propositional Fragment -- Formal Proof Sketches -- Applied Type System. |
| Record Nr. | UNINA-9910144152703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||