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

Auteur principal: Apt, Krzysztof R.Co-auteur: Olderog, Ernst-RüdigerLangue: 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éveloppement
Current 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

Powered by Koha