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

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

Titre(s) : Partial-Order Methods for the Verification of Concurrent Systems [Texte électronique] : an Approach to the State-Explosion Problem / edited by Patrice Godefroid

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

Description matérielle : 1 online resource

Collection : Lecture Notes in Computer Science ; 1032

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

Sujet(s) : Génie logiciel  Voir les notices liées en tant que sujet
Informatique  Voir les notices liées en tant que sujet
Réseaux d'ordinateurs  Voir les notices liées en tant que sujet
Parallélisme (informatique)  Voir les notices liées en tant que sujet
Logiciels -- Essais  Voir les notices liées en tant que sujet

Indice(s) Dewey :  005.101 5113 (23e éd.) = Développement de logiciels - Logique mathématique  Voir les notices liées en tant que sujet ; 005.2 (23e éd.) = Développement de logiciels pour les catégories particulières d'ordinateurs, pour les systèmes d'exploitation particuliers, pour les interfaces utilisateurs particulières  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9783540494447

Identifiant de la notice  : ark:/12148/cb44693360b

Notice n° :  FRBNF44693360 (notice reprise d'un réservoir extérieur)