Principles of model checking [ Livre] / Joost-Pieter, Katoen / Christel, Baier

Auteur principal: Baier, ChristelCo-auteur: Katoen, Joost-PieterLangue: Anglais ; de l'oeuvre originale, Anglais.Publication : Cambridge, (Mass.), London : MIT Press, 2008Description : 1 vol. (XVII-975 p.) ; 26 cmISBN: 9780262026499; 026202649X.Classification: F Informatique théoriqueSujet - Nom commun: Logiciels | Logiciels -- Vérification | Logiciels -- Développement | Ordinateurs -- Fiabilité | Génie logiciel
Current location Call number Status Notes Date due Barcode
ENS Rennes - Bibliothèque
Informatique
F BAI (Browse shelf) Checked out F Informatique théorique 10/04/2020 021818

Powered by Koha