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 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
No cover image available
On concurrent programming / Fred B. Schneider

by Schneider, Fred B.

Material type: articlePrinted books Publisher: New York [etc.] : Springer, cop. 1997

Add to cart
Pages