logique # logique temporelle # parallèle # preuve # programmation parallèle # preuve de programme # valet # vérification de programme

Ville d'édition : Berlin ; Heidelberg ; N.Y.

Pays d'édition : Allemagne

Langue : Anglais

EAN13 : 9783540112051

ISBN : 3-540-11205-7

Collation : viii#24 cm#broch. ; Bibliogr. Pp. 203-208

Collection : Lecture notes in computer science

N° de collection : 0129

Localisation : Collection 1er étage

Code ACM : F.4.1 ; F.4.2

Type d'ouvrage : Monographie

Disponibilité : empruntable

Niveau d'autorisation : Public

Exemplaires