Biblioteca CRAI Dulce Chacón - Universidad Europea de Madrid

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

Verification of sequential and concurrent programs / Krzysztof R. Apt, Ernst-Rüdiger Olderog

By: Apt, Krzysztof R., (1949-)
Contributor(s): Olderog, E.-R.
Material type: materialTypeLabelPrinted booksSeries: (Graduate texts in computer science).Publisher: New York : Springer, cop. 1997Edition: 2nd ed.Description: 364 páginas; 25 cm.ISBN: 0387948961.Subject: Software -- VerificaciónDDC classification: 005.1/4
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Copy number Status Date due Barcode Item holds
LIBRO7 LIBRO7 Madrid Alcobendas Depósito 2 (Alcobendas) Ciencias e Ingeniería QA76.76 .V47 A67 1997 (Browse shelf(Opens below)) .i10493566 Available 9300324656
Total holds: 0

Includes bibliographical references (p. [343]-352) and indexes

There are no comments on this title.

to post a comment.