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 : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings / edited by Viktor Kuncak, Andrey Rybalchenko. by Series: Lecture notes in computer science ; 7148.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
In: Springer e-books
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Computer aided cerification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings. Part II / Rupak Majumdar, Viktor Kunčak (eds.). by Series: Lecture notes in computer science ; 10427. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, 2017
Other title:
  • CAV 2017
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
Computer aided cerification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings. Part I / Rupak Majumdar, Viktor Kunčak (eds.). by Series: Lecture notes in computer science ; 10426. | 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, 2017
Other title:
  • CAV 2017
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha