m
     
Ouvrage

H 0 Towards a formal description of ada

Bjorner, D. (Editeur) ; Oest, O. N. (Editeur)

Springer-Verlag

1980

630 p.

978-3-540-10283-0

00013822

68N15 ; 68N20

ada # langage de programmation

Ville d'édition : Berlin ; Heidelberg ; N.Y.

Pays d'édition : États-Unis

Langue : Anglais

EAN13 : 9783540102830

ISBN : 3-540-10283-3

Collation : xii#24 cm#broch. ; Bibliogr.

Collection : Lecture notes in computer science

N° de collection : 0098

Localisation : Collection 1er étage

Code ACM : D.3

Type d'ouvrage : Monographie

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00013822 [disponible]
Z