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
Thinking Programs Logical Modeling and Reasoning About Languages, Data, Computations, and Executions / by Wolfgang Schreiner.

by Schreiner, Wolfgang, (1967-).

Edition: First edition 2021Material type: bookE-book Publisher: Cham : 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.9 .L63 2021 EB reference

Add to cart
Concrete Abstractions : Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker / by Wolfgang Schreiner

by Schreiner, Wolfgang, (1967-), 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.9.M35 2023 EB reference

Add to cart
Pages