bianculli domenico (37 risultati)

Paperback. Condizione: new. Paperback. This book constitutes the refereed proceedings of the tracks and workshops which complemented the 19th European Conference on Software Architecture, ECSA 2025, held in Limassol, Cyprus, during September 1519, 2025.The 13 full papers and 19 short papers presented in this volume were carefully reviewed and selected from 56 submissions. They are grouped into the following topics: Tools and Demos; Tutorial; Doctoral Symposium; 1st International Workshop on AI-Assisted Software Architecting (AISA);5th International Workshop on Agility with Microservices Programming (AMP); 1st International Workshop on Architecting Digital Twin of an Organization (ArchDTO); 12th Workshop on Adaptive and Reconfigurable Systems and Architectures (AROSA); 8th International Workshop on Context-Aware, Autonomous and Smart Architectures (CASA); 1st International Workshop on Software Architecture for Data-Intensive Systems (SADIS). Shipping may be from multiple locations in the US or from the UK, depending on stock availability.

Condizione: As New. Unread book in perfect condition.

Condizione: New. In.

PF. Condizione: New.

Condizione: New.

Condizione: New.

Condizione: As New. Unread book in perfect condition.

Condizione: New.

Paperback. Condizione: new. Paperback. This volume constitutes the proceedings of 23rd International Conference on Software Engineering and Formal Methods, SEFM 2025, held in Toledo, Spain, on November 1014, 2025.The 13 full papers and 2 short papers included in this book were carefully reviewed and selected from 39 submissions. The proceedings also include 1 invited short paper. They were organized in topical sections as follows: security and resilience; formal specification and verification; software quality; and artificial intelligence and formal methods. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.

Paperback. Condizione: new. Paperback. This book constitutes the refereed proceedings of the tracks and workshops which complemented the 19th European Conference on Software Architecture, ECSA 2025, held in Limassol, Cyprus, during September 1519, 2025.The 13 full papers and 19 short papers presented in this volume were carefully reviewed and selected from 56 submissions. They are grouped into the following topics: Tools and Demos; Tutorial; Doctoral Symposium; 1st International Workshop on AI-Assisted Software Architecting (AISA);5th International Workshop on Agility with Microservices Programming (AMP); 1st International Workshop on Architecting Digital Twin of an Organization (ArchDTO); 12th Workshop on Adaptive and Reconfigurable Systems and Architectures (AROSA); 8th International Workshop on Context-Aware, Autonomous and Smart Architectures (CASA); 1st International Workshop on Software Architecture for Data-Intensive Systems (SADIS). Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes revised selected papers from the workshopsSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 356 pp. Englisch.

Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 236 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

Paperback. Condizione: new. Paperback. This volume constitutes the proceedings of 23rd International Conference on Software Engineering and Formal Methods, SEFM 2025, held in Toledo, Spain, on November 1014, 2025.The 13 full papers and 2 short papers included in this book were carefully reviewed and selected from 39 submissions. The proceedings also include 1 invited short paper. They were organized in topical sections as follows: security and resilience; formal specification and verification; software quality; and artificial intelligence and formal methods. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.

Paperback. Condizione: Brand New. 356 pages. 9.25x6.00x1.00 inches. In Stock.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes revised selected papers from the workshopscollocated with the SEFM 2015 conference on Software Engineering andFormal Methods, held in York, UK, in September 2015.The 25 papers included in this volume were carefully reviewed andselected from 32 submissions.The satellite workshopsprovided a highly interactive and collaborative environment for researchers andpractitioners from industry and academia to discuss emerging areas of softwareengineering and formal methods.The four workshops were:ATSE 2015: The 6th Workshop on Automating Test Case Design, Selectionand Evaluation;HOFM 2015: The 2nd Human-Oriented Formal Methods Workshop;MoKMaSD 2015: The 4th International Symposium on Modelling andKnowledge Management Applications: Systems and Domains;VERY\*SCART 2015: The 1st International Workshop on the Art of ServiceComposition and Formal Verification for Self-\* Systems.

Paperback. Condizione: Brand New. 261 pages. 9.25x6.10x9.25 inches. In Stock.

Taschenbuch. Condizione: Neu. Software Engineering and Formal Methods | SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers | Domenico Bianculli (u. a.) | Taschenbuch | xxix | Englisch | 2016 | Springer | EAN 9783662492239 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Condizione: Neu. Software Architecture. ECSA 2025 Tracks and Workshops | Limassol, Cyprus, September 15-19, 2025, Proceedings | Domenico Bianculli (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxvi | Englisch | 2025 | Springer | EAN 9783032044020 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the tracks and workshops which complemented the 19th European Conference on Software Architecture, ECSA 2025, held in Limassol, Cyprus, during September 15 19, 2025.The 13 full papers and 19 short papers presented in this volume were carefully reviewed and selected from 56 submissions.They are grouped into the following topics: Tools and Demos; Tutorial; Doctoral Symposium; 1st International Workshop on AI-Assisted Software Architecting (AISA);5th International Workshop on Agility with Microservices Programming (AMP); 1st International Workshop on Architecting Digital Twin of an Organization (ArchDTO);12th Workshop on Adaptive and Reconfigurable Systems and Architectures (AROSA); 8th International Workshop on Context-Aware, Autonomous and Smart Architectures (CASA); 1st International Workshop on Software Architecture for Data-Intensive Systems (SADIS).

Paperback. Condizione: new. Paperback. This book constitutes the refereed proceedings of the tracks and workshops which complemented the 19th European Conference on Software Architecture, ECSA 2025, held in Limassol, Cyprus, during September 1519, 2025.The 13 full papers and 19 short papers presented in this volume were carefully reviewed and selected from 56 submissions. They are grouped into the following topics: Tools and Demos; Tutorial; Doctoral Symposium; 1st International Workshop on AI-Assisted Software Architecting (AISA);5th International Workshop on Agility with Microservices Programming (AMP); 1st International Workshop on Architecting Digital Twin of an Organization (ArchDTO); 12th Workshop on Adaptive and Reconfigurable Systems and Architectures (AROSA); 8th International Workshop on Context-Aware, Autonomous and Smart Architectures (CASA); 1st International Workshop on Software Architecture for Data-Intensive Systems (SADIS). Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.

Taschenbuch. Condizione: Neu. Software Engineering and Formal Methods | 23rd International Conference, SEFM 2025, Toledo, Spain, November 10-14, 2025, Proceedings | Domenico Bianculli (u. a.) | Taschenbuch | xviii | Englisch | 2025 | Springer | EAN 9783032104434 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume constitutes the proceedings of 23rd International Conference on Software Engineering and Formal Methods, SEFM 2025, held in Toledo, Spain, on November 10 14, 2025.The 13 full papers and 2 short papers included in this book were carefully reviewed and selected from 39 submissions. The proceedings also include 1 invited short paper. They were organized in topical sections as follows: security and resilience; formal specification and verification; software quality; and artificial intelligence and formal methods.

Condizione: New. pp. 325.

Paperback. Condizione: Brand New. 236 pages. 9.61x6.69x0.54 inches. This item is printed on demand.

Paperback. Condizione: new. Paperback. This volume constitutes the proceedings of 23rd International Conference on Software Engineering and Formal Methods, SEFM 2025, held in Toledo, Spain, on November 1014, 2025.The 13 full papers and 2 short papers included in this book were carefully reviewed and selected from 39 submissions. The proceedings also include 1 invited short paper. They were organized in topical sections as follows: security and resilience; formal specification and verification; software quality; and artificial intelligence and formal methods. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.

Condizione: new. Questo è un articolo print on demand.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes revised selected papers from the workshopscollocated with the SEFM 2015 conference on Software Engineering andFormal Methods, held in York, UK, in September 2015.The 25 papers included in this volume were carefully reviewed andselected from 32 submissions.The satellite workshopsprovided a highly interactive and collaborative environment for researchers andpractitioners from industry and academia to discuss emerging areas of softwareengineering and formal methods.The four workshops were:ATSE 2015: The 6th Workshop on Automating Test Case Design, Selectionand Evaluation;HOFM 2015: The 2nd Human-Oriented Formal Methods Workshop;MoKMaSD 2015: The 4th International Symposium on Modelling andKnowledge Management Applications: Systems and Domains;VERY\*SCART 2015: The 1st International Workshop on the Art of ServiceComposition and Formal Verification for Self-\* Systems. 356 pp. Englisch.

Condizione: new. Questo è un articolo print on demand.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the tracks and workshops which complemented the 19th European Conference on Software Architecture, ECSA 2025, held in Limassol, Cyprus, during September 15 19, 2025.The 13 full papers and 19 short papers presented in this volume were carefully reviewed and selected from 56 submissions.They are grouped into the following topics: Tools and Demos; Tutorial; Doctoral Symposium; 1st International Workshop on AI-Assisted Software Architecting (AISA);5th International Workshop on Agility with Microservices Programming (AMP); 1st International Workshop on Architecting Digital Twin of an Organization (ArchDTO);12th Workshop on Adaptive and Reconfigurable Systems and Architectures (AROSA); 8th International Workshop on Context-Aware, Autonomous and Smart Architectures (CASA); 1st International Workshop on Software Architecture for Data-Intensive Systems (SADIS). 390 pp. Englisch.

Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes revised selected papers from the workshopscollocated with the SEFM 2015 conference on Software Engineering andFormal Methods, held in York, UK, in September 2015.The 25 papers includ.