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

Bookmarks Report an error
Congrès

Bjorner, D. (Editor)

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

Publisher City : Berlin ; Heidelberg ; N.Y.

Publisher country : États-Unis

Language : English

EAN13 : 9783540100072

ISBN : 3-540-10007-5

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

Series : Lecture notes in computer science

Nb in series : 0086

Location : Collection 1er étage

Event Year : 1979

ACM code : D.2.1 ; D.3.1

Conference type : Congrès

Availability : empruntable

Level of authorization : Public


Copies

Number of copies : 1
No. Call n° Bar code Commentary
1 00013817

[available]
Bookmarks Report an error