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
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
No. | Call n° | Bar code | Commentary | |
---|---|---|---|---|
1 | 00013898 | [available] |