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
Software Verification : 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers / edited by Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina

by Bloem, Roderick, editor literario | Dimitrova, Rayna, editor literario | Fan, Chuchu, editor literario | Sharygina, Natasha, 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 .V47 2022 EB reference

Add to cart
Decidability of Parameterized Verification / by Roderick Bloem, Swen Jacobs, Ayrat Kalimov, Igor Konnov

by Bloem, Roderick P, autor | Jacobs, Swen, autor | Kalimov, Ayrat, autor | Konnov, Igor, (1958-), autor.

Edition: 1st edition 2015Material type: bookE-book Publisher: Cham : Springer International Publishing, 2015
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.V47 2015 EB reference

Add to cart
Pages