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

Abstract software specifications :
proceedings of the copenhagen winter school#Jan. 22 - Feb. 2

Sélection Signaler une erreur
Congrès

Bjorner, D. (Editeur)

Springer-Verlag

1980

567 p.

978-3-540-10007-2

00013817

68-02 ; 68A05 ; 68A30 ; 68Q60

conception assistée par ordinateur # programmation # specification de programme

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

Pays d'édition : États-Unis

Langue : Anglais

EAN13 : 9783540100072

ISBN : 3-540-10007-5

Collation : xi#fig.#24 cm#broch. ; Bibliogr.

Collection : Lecture notes in computer science

N° de collection : 0086

Localisation : Collection 1er étage

Année de la rencontre : 1979

Code ACM : D.2.1 ; D.3.1

Type de congrès : Congrès

Disponibilité : empruntable

Niveau d'autorisation : Public


Exemplaires

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

[disponible]
Sélection Signaler une erreur