Notice bibliographique

Notice

Type(s) de contenu et mode(s) de consultation : Texte noté : électronique

Auteur(s) : Brinksma, Ed Voir les notices liées en tant qu'auteur

Titre(s) : Computer Aided Verification [Texte électronique] : 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings / edited by Ed Brinksma, Kim Guldstrand Larsen

Publication : Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg : Springer e-books, 2002

Description matérielle : 1 online resource

Collection : Lecture Notes in Computer Science ; 2404

Note(s) : L'accès complet au document est possible pour les usagers de tous les établissements publics français (situés ou non sur le territoire français) ayant des missions d'enseignement supérieur et/ou de recherche, des établissements d'enseignement supérieur privés, des bibliothèques publiques

Autre(s) auteur(s) : Larsen, Kim Guldstrand. Fonction indéterminée Voir les notices liées en tant qu'auteur

Sujet(s) : Génie logiciel Voir les notices liées en tant que sujet
Informatique Voir les notices liées en tant que sujet
Logiciels -- Vérification Voir les notices liées en tant que sujet
Circuits intégrés Voir les notices liées en tant que sujet
Intelligence artificielle Voir les notices liées en tant que sujet
Logique mathématique Voir les notices liées en tant que sujet
Essais Voir les notices liées en tant que sujet