Mon compte Ma liste - 0
	Catalogue   Ressources numériques   Nouveautés   Liens utiles   Mon compte

Recherche rapide Recherche avancée Recherche alphabétique Historique Information

Recherche  AuteurTitreSujetTitre de revueCollectionCotes BUCotes ENSEACotes IUFM       Modifier la recherche     > CERGY

Elargir la recherche         Sur le même sujet :     Logiciels -- Vérification     Computer software -- Verification     Parcourir le catalogue     par auteur:      Bérard , Béatrice      McKenzie , Pierre      Bidoit , Michel , 1957-....      Finkel , Alain , 1958-....      Schnoebelen , Philippe       Rechercher sur Internet     Localiser dans une autre bibliothèque (SUDOC) (PPN ou ISBN ou ISSN)     Aperçu dans Google Books     Affichage MARC

Auteur :  Bérard , Béatrice Bidoit , Michel , 1957-.... Finkel , Alain , 1958-.... Schnoebelen , Philippe Titre :  Systems and software verification : model-checking techniques and tools , B. Bérard, M. Bidoit, A. Finkel... [et al.] ; [traduction par] Pierre McKenzie Edition :  Updated version of the French language edition Editeur :  Berlin New York Paris , Springer -- cop. 2001 Description :  1 vol. (XII-190 p.) : ill., couv. ill. en coul. ; 23 cm ISBN:  3-540-41523-8 , rel. , 47,62 EUR 978-3-642-07478-3 , br. Notes :  Bibliogr. p. [179]-182. Index Trad. de : "Vérification de logiciels : techniques et outils du model-checking / coordonné par Philippe Schnoebelen" Autre(s) tirage(s) : 2010 Autre contribution : Ph. Schnoebelen Sujet :  Logiciels -- Vérification Computer software -- Verification   Exemplaires Site Emplacement Cote Type de prêt Statut   Ensea Archives ARCH-2974 Empruntable Disponible

Pour toute question, contactez la bibliothèque

Horizon Information Portal 3.25_france_v1m© 2001-2019 SirsiDynix Tous droits réservés.