m

F Nous contacter

0
     
Congrès

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

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 Congrès : Congrès

Disponibilité : empruntable


Exemplaires

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