Tasiran serdar (35 Ergebnisse)

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

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

Paperback. Zustand: Brand New. 2007 edition. 213 pages. 9.00x6.00x0.50 inches. In Stock.

Zustand: New. In English.

Paperback. Zustand: Brand New. 2013 edition. 333 pages. 9.00x6.00x0.75 inches. In Stock.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 15th International Conference on Verified Software, VSTTE 2023, held in Ames, IA, USA, October 23-24, 2023.The 6 full papers presented in this volume were carefully reviewed and selected from 13 submissions. They focus on requirements modeling, specification languages, software design methods, automatic code generation, refinement methodologies, and more.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Runtime Verification, RV 2012, held in Istanbul, Turkey, in September 2012.The 25 revised full papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 50 submissions. The papers address a wide range of specification languages and formalisms for traces, specification mining, program instrumentation, monitor construction techniques, logging, recording, and replay, fault detection, localization, recovery and repair, program steering and adaptation, metrics and statistical information gathering, combination of static and dynamic analyses and program execution visualization.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Runtime veri cation is a recent direction in formal methods research, which is complementary to such well-established formal veri cation methods as model checking. Research in runtime veri cation deals with formal languages suitable for expressing system properties that are checkable at run time; algorithms for checking of formal properties over an execution trace; low-overhead means of extracting information from the running system that is su cient for checking of the property. Applications of runtime veri cation technology include po- deployment monitoring of system correctness and performance; construction of formally speci ed test oracles; collection of statistics about system behavior, among others. The Workshop on Runtime Veri cation was started in 2001 and has been held annually since then. The workshop was co-located with the Conference on Computer-Aided Veri cation (CAV) in 2001-2003 and 2005-2006;and with the European Joint Conferences on Theory and Practice of Software (ETAPS) in 2004. In 2007, the workshop was held on March 13, 2007 in Vancouver, British Columbia, Canada, co-located to the Conference on Aspect-Oriented Software Development (AOSD) in order to explore the emerging connections between the two communities.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019.The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. Thepapers were organized in the following topical sections:Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems;Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency.…

Zustand: New.

Paperback. Zustand: Brand New. 572 pages. 9.25x6.10x1.14 inches. In Stock.

Zustand: New.

Paperback. Zustand: Brand New. 696 pages. 9.25x6.10x1.38 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019.The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. Thepapers were organized in the following topical sections:Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems;Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency.…

Taschenbuch. Zustand: Neu. Runtime Verification | 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers | Oleg Sokolsky (u. a.) | Taschenbuch | viii | Englisch | 2007 | Springer | EAN 9783540773948 | 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. Runtime Verification | Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers | Shaz Qadeer (u. a.) | Taschenbuch | xii | Englisch | 2013 | Springer | EAN 9783642356315 | 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. Computer Aided Verification | 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I | Isil Dillig (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xix | Englisch | 2019 | Springer | EAN 9783030255398 | 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. Computer Aided Verification | 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II | Isil Dillig (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xx | Englisch | 2019 | Springer | EAN 9783030255428 | 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. Verified Software. Theories, Tools and Experiments | 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers | Andrew Reynolds (u. a.) | Taschenbuch | Lecture Notes in Computer Science | ix | Englisch | 2024 | Springer | EAN 9783031660634 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Kartoniert / Broschiert. Zustand: New. KlappentextrnrnThe open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers p.

Kartoniert / Broschiert. Zustand: New. KlappentextrnrnThis open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers .