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

Publisher City : Berlin ; Heidelberg ; N.Y.

Publisher country : Allemagne

Language : English

EAN13 : 9783540112051

ISBN : 3-540-11205-7

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

Series : Lecture notes in computer science

Nb in series : 0129

Location : Collection 1er étage

ACM code : F.4.1 ; F.4.2

Book type : Monographie

Availability : empruntable

Level of authorization : Public

Copies