Software verification formal methods (25 Ergebnisse)

Hardcover. Zustand: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.

Softcover/Paperback. Zustand: Sehr gut. 256 p. Very good. Shrink wrapped. / Sehr guter Zustand. In Folie verschweißt. Sprache: Englisch Gewicht in Gramm: 320.

Zustand: New.

Zustand: New.

Zustand: New.

Paperback. Zustand: Brand New. 347 pages. 6.14x0.73x9.21 inches. In Stock.

Zustand: As New. Unread book in perfect condition.

Paperback. Zustand: New. 2024 ed. The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024. ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The open access ISoLA 2026 proceedings constitutes contributions of the associated events held at the 13th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2026, which took place in Kos, Greece, in October 2026.ISoLA 2026 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains.The papers have been organized in topical sections over five volumes as follows:Part I: Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive SystemsPart II: Leveraging Applications of Formal Methods, Verification and Validation. Formal Methods for Distributed Computing in Future Railway SystemsPart III: Leveraging Applications of Formal Methods, Verification and Validation. Bridging Gaps between Software and System ContractsPart IV: Leveraging Applications of Formal Methods, Verification and Validation. X-by-Construction Meets Intersymbolic AIPart V: Leveraging Applications of Formal Methods, Verification and Validation. Scalable Verification and Validation of Concurrent and Distributed Systems. …

Zustand: New.

Zustand: New.

Zustand: As New. Unread book in perfect condition.

Zustand: New.

Paperback. Zustand: Brand New. 215 pages. 9.25x6.10x0.51 inches. In Stock.

Zustand: New.

Kartoniert / Broschiert. Zustand: New.

Paperback. Zustand: Brand New. 342 pages. 6.14x0.72x9.21 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 5th International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems, FoMLAS 2022, and the 15th International Workshop on Numerical Software Verification, NSV 2022, which took place in Haifa, Israel, in July/August 2022.The volume contains 8 full papers from the FoMLAS 2022 workshop and 3 full papers from the NSV 2022 workshop. The FoMLAS workshop is dedicated to the development of novel formal methodstechniques to discussing on how formal methods can be used to increase predictability, explainability, and accountability of ML-enabledautonomous systems. NSV 2022 is focusing on the challenges of the verification of cyber-physical systems with machine learning components.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification,construction, test, and maintenance of systems from the point of view of their different application domains.…

Taschenbuch. Zustand: Neu. Software Verification and Formal Methods for ML-Enabled Autonomous Systems | 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings | Omri Isac (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2022 | Springer | EAN 9783031212215 | 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. Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies | 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV | Tiziana Margaria (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2024 | Springer | EAN 9783031753862 | 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. Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering | 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II | Tiziana Margaria (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiii | Englisch | 2022 | Springer | EAN 9783031197550 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Paperback. Zustand: new. Paperback. The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024. ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains. The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.…

Paperback. Zustand: New. 2024 ed. The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024. ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains.…

Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 444 | Sprache: Englisch | Produktart: Bücher | This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and validation of concurrent and distributed heterogeneous systems; programming - what is next: the role of documentation; automated software re-engineering; DIME day; rigorous engineering of collective adaptive systems; formal methods meet machine learning; digital twin engineering; digital thread in smart manufacturing; formal methods for distributed computing in future railway systems; industrial day.…