En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK
0

The iota progamming system :
the modular programming environment

Sélection Signaler une erreur
Ouvrage

Nakajima, R. (Editeur) ; Yuasa, T. (Editeur)

Springer-Verlag

1983

217 p.

978-3-540-12693-5

00013898

68N05 ; 68O60 ; 68T15

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


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00013898

[disponible]
Sélection Signaler une erreur