Sokolova, ana (13 Ergebnisse)

Zustand: New. In English.

Zustand: New. In English.

Paperback. Zustand: Brand New. 205 pages. 9.25x6.10x0.44 inches. In Stock.

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 27th International Symposium on Model Checking Software, SPIN 2021, held virtually in July 2021.The 3 full papers, 4 tool papers, and 1 case study presented together with 2 invited talks were carefully reviewed and selected from 20 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.…

Paperback. Zustand: Brand New. 252 pages. 9.25x6.10x0.53 inches. In Stock.

Paperback. Zustand: Brand New. 265 pages. 9.25x6.10x9.21 inches. In Stock.

Zustand: New.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the18th International Conference on Reachability Problems, RP 2024, which took place inVienna, Austria, during September 25-27, 2024.The 13 full papers included in these proceedings were carefully reviewed and selected from 37 submissions. The book also contains two invited talks in full paper length.The contributions in these proceedings cover topics from computability and reachability;automata and complexity;linear systems and recurrences; and games and abstractions.…

Taschenbuch. Zustand: Neu. Model Checking Software | 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings | Alfons Laarman (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2021 | Springer | EAN 9783030846282 | 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. Formal Techniques for Distributed Objects, Components, and Systems | 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings | Alexey Gotsman (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2020 | Springer | EAN 9783030500856 | 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. Reachability Problems | 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings | Laura Kovács (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxvi | Englisch | 2024 | Springer | EAN 9783031726200 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…