Your search returned 3 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Verification, model checking, and abstract interpretation : 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, proceedings / Fritz Henglein, Sharon Shoham, Yakir Vizel (eds.). by Series: Lecture notes in computer science ; 12597. | Lecture notes in computer science. Advanced research in computing and software science. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham, Switzerland : Springer International Publishing : Imprint : Springer, 2021
Other title:
  • VMCAI 2021
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings. Part II / Sharon Shoham, Yakir Vizel (eds.). by Series: Lecture notes in computer science ; 13372.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, 2022
Other title:
  • CAV 2022
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings. Part I / Sharon Shoham, Yakir Vizel (eds.). by Series: Lecture notes in computer science ; 13371.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, 2022
Other title:
  • CAV 2022
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha