The iota progamming system :
the modular programming environment
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
Ville d'édition : Berlin ; Heidelberg ; N.Y.
Pays d'édition : Allemagne
Langue : Anglais
EAN13 : 9783540126935
ISBN : 3-540-12693-7
Collation : iv#24 cm#broch. ; Bibliogr. Pp. 214-217
Collection : Lecture notes in computer science
N° de collection : 0160
Localisation : Collection 1er étage
Code ACM : D.2.1 ; D.2.2 ; D.2.4 ; D.2.6 ; D.3.3
Type d'ouvrage : Monographie
Disponibilité : empruntable
Niveau d'autorisation : Public
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00013898 | [disponible] |