Computer Aided Verification 1
bokomslag Computer Aided Verification
Data & IT

Computer Aided Verification

Arie Gurfinkel • Vijay Ganesh

Pocket

659:-

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:

  • 498 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: 9783031656262
  • Språk: Engelska
  • Antal sidor: 498
  • Utgivningsdatum: 2024-07-26
  • Förlag: Springer International Publishing AG

Du kanske gillar

  1. bokomslag Computer Aided Verification

    Computer Aided Verification

    Vijay Ganesh Arie Gurfinkel

    Pocket

    659:-
  2. bokomslag Computer Aided Verification

    Computer Aided Verification

    Vijay Ganesh Arie Gurfinkel

    Pocket

    659:-
  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. bokomslag Automated Technology for Verification and Analysis

    Automated Technology for Verification...

    Vijay Ganesh Zhe Hou

    Pocket

    1109:-
  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. bokomslag Verified Software: Theories, Tools, and Experiments

    Verified Software: Theories, Tools, a...

    Sanjit A Seshia Arie Gurfinkel

    Pocket

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

    Outlaw Fathers in Victorian and Moder...

    Helena Gurfinkel

    Pocket

    959:-
  9. bokomslag Pastries from the Past

    Pastries from the Past

    Leora Steif Judith Gurfinkel

    Pocket

    389:-
  10. bokomslag Stance and Motion

    Stance and Motion

    V S Gurfinkel, M E Ioffe, J Massion, J P Roll

    Pocket

    2199:-

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:-