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
Browsing Madrid Alcobendas shelves, Shelving location: Depósito 2 (Alcobendas) Close shelf browser (Hides shelf browser)
| No cover image available | ||||||||
| QA76.76 .T48 P65 2012 Técnicas combinatorias y de mutación para testing de sistemas software | QA76.76 .T49 G73 2007 TextMate : power editing for the Mac | QA76.76 .T55 P84 1998 Pthreads programming | QA76.76 .V47 A67 1997 Verification of sequential and concurrent programs | QA76.76 .W56 C37 2010 Windows 7 | QA76.76 .W56 P76 1998 Programar para Windows y el Web : introducción a Visual Studio 6.0, edición profesional : Microsoft Visual Studio, versión 6.0 | QA76.77 .J56 2012 Sistemas informáticos : Técnico Superior en Desarrollo de Aplicaciones Multiplataforma y Web DAM y DAW |
Includes bibliographical references (p. [343]-352) and indexes
There are no comments on this title.
Log in to your account to post a comment.