Computer Aided Verification 1
bokomslag Computer Aided Verification
Data & IT

Computer Aided Verification

Arie Gurfinkel • Vijay Ganesh

Pocket

639:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 5-10 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

Andra format:

  • 430 sidor
  • 2024
This open access 3-volume set constitutes the proceedings of the36th International Conference on Computer-Aided Verification, CAV 2024, which took place inMontreal, Canada, during July 24-27, 2024. The primary focus of CAV is to extend the frontiers of verification techniques by expanding to new domains such as security, quantum computing, and machine learning.
  • Författare: Arie Gurfinkel, Vijay Ganesh
  • Format: Pocket/Paperback
  • ISBN: 9783031656293
  • Språk: Engelska
  • Antal sidor: 430
  • Utgivningsdatum: 2024-07-25
  • Förlag: Springer International Publishing AG

Du kanske gillar

  1. bokomslag Computer Aided Verification

    Computer Aided Verification

    Vijay Ganesh Arie Gurfinkel

    Pocket

    639:-
  2. bokomslag Computer Aided Verification

    Computer Aided Verification

    Vijay Ganesh Arie Gurfinkel

    Pocket

    639:-
  3. bokomslag Automated Technology for Verification and Analysis

    Automated Technology for Verification...

    Vijay Ganesh Zhe Hou

    Pocket

    1109:-
  4. bokomslag Män och kvinnor

    Män och kvinnor

    Lena Andersson

    Inbunden

    299:-
  5. Kommande
    bokomslag Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construc...

    Marijn Heule Arie Gurfinkel

    Pocket

    1039:-
  6. Kommande
    bokomslag Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construc...

    Marijn Heule Arie Gurfinkel

    Pocket

    1039:-
  7. Kommande
    bokomslag Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construc...

    Marijn Heule Arie Gurfinkel

    Pocket

    1039:-
  8. bokomslag Verified Software: Theories, Tools, and Experiments

    Verified Software: Theories, Tools, a...

    Sanjit A Seshia Arie Gurfinkel

    Pocket

    749:-
  9. bokomslag Outlaw Fathers in Victorian and Modern British Literature

    Outlaw Fathers in Victorian and Moder...

    Helena Gurfinkel

    Pocket

    959:-
  10. bokomslag Outlaw Fathers in Victorian and Modern British Literature

    Outlaw Fathers in Victorian and Moder...

    Helena Gurfinkel

    Inbunden

    2489:-

Andra av samma författare

  1. bokomslag Automated Technology for Verification and Analysis

    Automated Technology for Verification...

    Vijay Ganesh Zhe Hou

    Pocket

    1109:-
  2. Kommande
    bokomslag Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construc...

    Marijn Heule Arie Gurfinkel

    Pocket

    1039:-
  3. Kommande
    bokomslag Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construc...

    Marijn Heule Arie Gurfinkel

    Pocket

    1039:-
  4. Kommande
    bokomslag Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construc...

    Marijn Heule Arie Gurfinkel

    Pocket

    1039:-
  5. bokomslag Verified Software: Theories, Tools, and Experiments

    Verified Software: Theories, Tools, a...

    Sanjit A Seshia Arie Gurfinkel

    Pocket

    749:-