Sokolova, ana (38 résultats)

Etat : New.

Etat : New. In English.

Etat : New. 1st ed. 2021 edition NO-PA16APR2015-KAP.

Etat : New. In English.

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

Etat : New. In English.

Etat : New.

Taschenbuch. Etat : 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.…

Etat : New. pp. 237.

Etat : New. 2024th edition NO-PA16APR2015-KAP.

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

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

Etat : New.

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

Taschenbuch. Etat : 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. Etat : 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. Etat : 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. Etat : 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.…

Paperback. Etat : New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

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

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

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

PF. Etat : New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 208 pp. Englisch.…

Etat : New. Print on Demand.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 268 pp. Englisch.…

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 252 pp. Englisch.

Etat : New. PRINT ON DEMAND.

Kartoniert / Broschiert. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 r.…

Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the proceedings of the 40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2020, held in Valletta, Malta, in June 2020, as part of the 15th International Federated C. …