Domenico bianculli (51 risultati)

PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.

Condizione: New.

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: As New. Unread book in perfect condition.

Paperback. Condizione: New. 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).…

Condizione: New.

Condizione: New.

Condizione: New.

Condizione: As New. Unread book in perfect condition.

Condizione: New. In English.

Paperback. Condizione: Brand New. 416 pages. 9.26x6.11x9.25 inches. In Stock.

Condizione: As New. Unread book in perfect condition.

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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

Condizione: NEW.

Condizione: New.

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.…

Condizione: New.

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. 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. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.…

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.…

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

Condizione: New.

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

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 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 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.…

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). …

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. …

Paperback. Condizione: New. 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).…