Concurrency verification
Collection : Cambridge tracts in theoretical computer science . 54 Publié par : Cambridge University Press (Cambridge | New York ) Détails physiques : xxii, 776 pages illustrations 23 cm. ISBN :9780521169325 (pbk.); 0521169321 (pbk.).
Sujet(s) :
Parallel processing (Electronic computers)
--
Verification.
--
Verification.
|
Computer software
|
Proof theory
|
Computer software
|
Parallel processing (Electronic computers)
|
Proof theory
|
Nebenläufigkeit
|
Verifikation
|
Kombinationsverfahren
|
Kombinatorische Logik
Année : 2010
Type de document | Site actuel | Cote | Statut | Date de retour prévue | Code à barres | Réservations |
---|---|---|---|---|---|---|
Livre | La bibliothèque des sciences de l'ingénieur | 005.14 ROE (Parcourir l'étagère) | Disponible | 0000000022990 |
Total des réservations: 0
Originally published: 2001.
Includes bibliographical references (710-746) and index.
Il n'y a pas de commentaire pour ce document.