Verification of sequential and concurrent programs / Krzysztof R. Apt, Ernst-Rüdiger Olderog [ Livre]
Langue: Anglais.Mention d'édition: 2nd ed.Publication : New York, Berlin, Paris [etc.] : Springer, cop. 1997Description : XVII-364 p. ; 25 cmISBN: 0387948961.Collection: Graduate texts in computer scienceClassification: F 3 Théorie des langages de programmationSujet - Nom commun: Logiciels -- Vérification | Traitement réparti | Programmation parallèle (informatique) | Logiciels -- DéveloppementCurrent location | Call number | Status | Notes | Date due | Barcode |
---|---|---|---|---|---|
ENS Rennes - Bibliothèque Informatique | F 3 APT (Browse shelf) | Available | F 3 Théorie des langages de programmation | 00003129 | |
ENS Rennes - Bibliothèque Informatique | F 3 APT (Browse shelf) | Exclu du prêt | F 3 Théorie des langages de programmation | 000031291 | |
ENS Rennes - Bibliothèque Informatique | F 3 APT (Browse shelf) | Available | F 3 Théorie des langages de programmation | 000031292 |
Bibliogr. p. [343]-352. Index