Computer Aided Verification

33rd International Conference, CAV 2021, Virtual Event, July 18–24, 2021, Proceedings, Part II

Produktform: Buch / Einband - flex.(Paperback)

This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. weiterlesen

Dieser Artikel gehört zu den folgenden Serien

Theoretical Computer Science and General Issues
Lecture Notes in Computer Science

Sprache(n): Englisch

ISBN: 978-3-030-81687-2 / 978-3030816872 / 9783030816872

Verlag: Springer International Publishing

Erscheinungsdatum: 17.07.2021

Seiten: 940

Auflage: 1

Herausgegeben von Alexandra Silva, K. Rustan M. Leino

42,79 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück