Biblioteca CRAI Dulce Chacón - Universidad Europea de Madrid

CRAI Library - Madrid
Your cart is empty.
My folder ( items) | My account

Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Verification, Model Checking, and Abstract Interpretation : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings / edited by Bernd Finkbeiner, Thomas Wies

by Finkbeiner, Bernd, editor literario | Wies, Thomas, editor literario.

Edition: First edition 2022Source: Springer Nature eBookMaterial type: bookE-book Publisher: Cham : Springer International Publising, 2022
Online access: Acceso a este recurso digital (usuarios Universidad Europea de Madrid)Digital Resources
Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.76 .A65 2022 EB reference

Add to cart
Automated Verification of Concurrent Search Structures / by Krishna Siddharth, Patel Nisarg, Shasha Dennis, Wies Thomas

by Krishna, Siddharth, autor | Patel, Nisarg, autor | Shasha, Dennis Elliott, autor | Wies, Thomas, autor.

Edition: 1st edition 2021Material type: bookE-book Publisher: Cham : Springer International Publishing, 2021
Online access: Acceso a este recurso digital (usuarios Universidad Europea de Madrid)Digital Resources
Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9.D3 2021 EB reference

Add to cart
Pages