Biblioteca CRAI Dulce Chacón - Universidad Europea de Madrid

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

Your search returned 3 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Formal Methods - Fun for Everybody : First International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers / edited by Antonio Cerone, Markus Roggenbach

by Cerone, Antonio, editor literario | Roggenbach, Markus, 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) LB1028.43 2021 EB reference

Add to cart
Recent Trends in Algebraic Development Techniques : 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers / edited by Markus Roggenbach

by Roggenbach, Markus, 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 .D47 2021 EB reference

Add to cart
Formal Methods for Software Engineering : Languages, Methods, Application Domains / by Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh

by Roggenbach, Markus, autor | Cerone, Antonio, autor | Schlingloff, Bernd-Holger, autor | Schneider, Gerardo, autor | Shaikh, Siraj Ahmed, autor.

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.758 2022 EB reference

Add to cart
Pages