Goharshady amir (9 Ergebnisse)

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 11th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications, SETTA 2025, held in Oxford, UK, during December 1 3, 2025.The 18 full papers and 1 invited paper presented in this volume were carefully reviewed and selected from 46 submissions. The papers are organized in the following topical sections: Invited Contribution; Software Quality and System Design; Logic and Theorem Proving; Automata; Monitoring; Formal Verification; Neural Networks and Large Language Models; Blockchains and Distributed Protocols.…

Paperback. Zustand: Brand New. 397 pages. 6.10x0.91x9.25 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 10th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications, SETTA 2024, held in Hong Kong, China, during November 26-28, 2024.The 21 full papers included in this book were carefully reviewed and selected from 47 submissions. The purpose of the SETTA symposium series is to bring international researchers together to exchange research results and ideas on bridging the gap between formal methods and software engineering. …

Taschenbuch. Zustand: Neu. Dependable Software Engineering. Theories, Tools, and Applications | 11th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2025, Oxford, UK, December 1-3, 2025, Proceedings | Amir Goharshady (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiii | Englisch | 2026 | Springer | EAN 9789819578252 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Dependable Software Engineering. Theories, Tools, and Applications | 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024, Proceedings | Timothy Bourke (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xix | Englisch | 2024 | Springer | EAN 9789819606016 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 440 | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 10th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications, SETTA 2024, held in Hong Kong, China, during November 26¿28, 2024. The 21 full papers included in this book were carefully reviewed and selected from 47 submissions. The purpose of the SETTA symposium series is to bring international researchers together to exchange research results and ideas on bridging the gap between formal methods and software engineering.…

Softcover. Zustand: gut. 2024. Dependable Software Engineering. Theories, Tools, and Applications: 10th International Symposium, SETTA 2024, Hong Kong, China, November 2628, 2024, . Notes in Computer Science, Band 15469) In deutscher Sprache. pages.

Taschenbuch. Zustand: Neu. Mathematical Research for Blockchain Economy | 6th International Conference MARBLE 2025, Athens, Greece | Stefanos Leonardos (u. a.) | Taschenbuch | Lecture Notes in Operations Research | vi | Englisch | 2026 | Springer | EAN 9783032133762 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…