Computer aided verification 32nd (29 risultati)

Condizione: New.

Condizione: New.

Paperback or Softback. Condizione: New. Computer Aided Verification: 32nd International Conference, Cav 2020, Los Angeles, Ca, Usa, July 21-24, 2020, Proceedings, Part I. Book.

Paperback or Softback. Condizione: New. Computer Aided Verification: 32nd International Conference, Cav 2020, Los Angeles, Ca, Usa, July 21-24, 2020, Proceedings, Part II. Book.

Condizione: As New. Unread book in perfect condition.

Condizione: As New. Unread book in perfect condition.

Condizione: New.

Condizione: New.

Condizione: New.

Condizione: New.

Condizione: New.

Condizione: As New. Unread book in perfect condition.

Condizione: As New. Unread book in perfect condition.

Condizione: New. pp. 649.

Condizione: New. pp. 648.

Condizione: New.

Paperback. Condizione: Brand New. 688 pages. 9.25x6.10x1.61 inches. In Stock.

Paperback. Condizione: Brand New. 704 pages. 9.25x6.10x1.54 inches. In Stock.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.\* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems.Part II: model checking; software verification; stochastic systems; and synthesis.\*The conference was held virtually due to the COVID-19 pandemic.…

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.\* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems.Part II: model checking; software verification; stochastic systems; and synthesis. \*The conference was held virtually due to the COVID-19 pandemic.…

Taschenbuch. Condizione: Neu. Computer Aided Verification | 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II | Shuvendu K. Lahiri (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xviii | Englisch | 2020 | Springer | EAN 9783030532901 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condizione: Neu. Computer Aided Verification | 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I | Shuvendu K. Lahiri (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvii | Englisch | 2020 | Springer | EAN 9783030532871 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

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

PF. Condizione: 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.

PF. Condizione: 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.

Condizione: New. Print on Demand pp. 649.

Condizione: New. PRINT ON DEMAND pp. 649.

Condizione: New. Print on Demand pp. 648.

Condizione: New. PRINT ON DEMAND pp. 648.