Verzije - Computer Aided Verification

Predložene teme unutar tvoje pretrage.
  • Prikaz rezultata 1 – 3 od 3
Detaljiziraj rezultate
  1. 1
    Slika omota

    Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I /

    Izdano 2023
    Link to Metadata
    Elektronički e-knjiga

    Spremi u popis
    Spremljeno u:
  2. 2
    Slika omota

    Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I

    Izdano 2023
    DOAB: download the publication
    DOAB: description of the publication
    Elektronički Poglavlje knjige

    Spremi u popis
    Spremljeno u:
  3. 3
    Slika omota

    Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I

    Izdano 2023
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Elektronički Poglavlje knjige

    Spremi u popis
    Spremljeno u:

Alati za pretragu: