Verification of sequential and concurrent programs / Krzysztof R. Apt, Ernst-Rüdiger Olderog
By: Apt, Krzysztof R.
Contributor(s): Olderog, E.-R.
Material type: 
Printed 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
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|---|
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.
Log in to your account to post a comment.