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

Auteur(s) : Hailpern, Brent T.  Voir les notices liées en tant qu'auteur

Titre(s) : Verifying Concurrent Processes Using Temporal Logic [Texte électronique] / by Brent T. Hailpern

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

Description matérielle : 1 online resource

Collection : Lecture Notes in Computer Science ; 129

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) : Informatique  Voir les notices liées en tant que sujet
Logiciels -- Vérification  Voir les notices liées en tant que sujet
Programmation (informatique)  Voir les notices liées en tant que sujet
Parallélisme (informatique)  Voir les notices liées en tant que sujet
Structure logique  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

Identifiants, prix et caractéristiques : ISBN 9783540390343

Identifiant de la notice  : ark:/12148/cb446891156

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