Biblioteca CRAI Dulce Chacón - Universidad Europea de Madrid

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

Your search returned 10 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Verification of sequential and concurrent programs / Krzysztof R. Apt, Ernst-Rüdiger Olderog

by Apt, Krzysztof R, (1949-) | Olderog, E.-R.

Edition: 2nd edMaterial type: articlePrinted books Publisher: New York : Springer, cop. 1997Items
Location Call no. Status Vol info Loan type
Depósito 2 (Alcobendas) QA76.76 .V47 A67 1997 available

Place hold Add to cart
Técnicas combinatorias y de mutación para testing de sistemas software / Macario Polo Usaola, Beatriz Pérez Lamancha, Pedro Reales Mateo

by Polo Usaola, Macario, (1971-) | Pérez Lamancha, Beatriz | Reales Mateo, Pedro.

Material type: articlePrinted books Publisher: Madrid : Ra-Ma, 2012Items
Location Call no. Status Vol info Loan type
Depósito 2 (Alcobendas) QA76.76 .T48 P65 2012 available

Place hold Add to cart
Formal System Verification State-of the-Art and Future Trends / edited by Rolf Drechsler.

by Drechsler, Rolf, editor literario.

Material type: bookE-book Publisher: Cham : Springer International Publishing, 2018
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 F676 2018 EB reference

Add to cart
Automated Software Testing : Foundations, Applications and Challenges / edited by Ajay Kumar Jena, Himansu Das, Durga Prasad Mohapatra

by SpringerLink (Online service) | Jena, Ajay Kumar, editor | Das, Himansu, editor | Mohapatra, Durga Prasad, editor.

Edition: First editionSource: Springer eBooksMaterial type: bookE-book Publisher: Singapore : Springer Singapore : Imprint Springer, 2020
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.T48 2020 EB reference

Add to cart
Verification, Model Checking, and Abstract Interpretation : 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings / edited by Fritz Henglein, Sharon Shoham, Yakir Vizel

by Henglein, Fritz, editor literario | Shoham, Sharon, editor literario | Vizel, Yakir, editor literario | SpringerLink.

Edition: First edition 2021Material type: bookE-book Publisher: Cham, Switzerland : Springer International Publising, 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.76.V47 2021 EB reference

Add to cart
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
Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I / edited by Dana Fisman, Grigore Rosu.

by Fisman, Dana, editor literario | Rosu, Grigore, editor literario.

Edition: First edition 2022Material 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.9.S88 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
Hard Problems in Software Testing : Solutions Using Testing as a Service (TaaS) / by Scott Tilley, Brianna Floss

by Tilley, Scott R.(Scott Robert), (1964-), autor | Floss, Brianna, autor.

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

Add to cart
Concise Guide to Software Verification : From Model Checking to Annotation Checking / by Marieke Huisman, Anton Wijs

by Huisman, Marieke, autor | Wijs, Anton, autor.

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

Add to cart
Pages