constructions et carastéristique de langage # environnements de programmation # exigeneces # ingenierie de logiciels # outils et techniques # processus # specification # vérification de programme # vérification et raisonnement sur les programmes

Publisher City : Berlin ; Heidelberg ; N.Y.

Publisher country : Allemagne

Language : English

EAN13 : 9783540126935

ISBN : 3-540-12693-7

Collation : iv#24 cm#broch. ; Bibliogr. Pp. 214-217

Series : Lecture notes in computer science

Nb in series : 0160

Location : Collection 1er étage

ACM code : D.2.1 ; D.2.2 ; D.2.4 ; D.2.6 ; D.3.3

Book type : Monographie

Availability : empruntable

Level of authorization : Public

Copies