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

Vdm '87,vdm-a formal method at work :
vdm-europe symposium 1987 was held in brussels#March 23-26

Bookmarks Report an error
Congrès

Bjorner, D. (Editor) ; Jones, C. B. (Editor) ; Mac An Airchinnigh, M. (Editor) ; Neuhold, E. J. (Editor)

Springer-Verlag

1987

422 p.

978-3-540-17654-1

00013970

langage de programmation # programmation # technique de programmation

Publisher City : Berlin ; Heidelberg ; N.Y.

Publisher country : Allemagne

Language : English

EAN13 : 9783540176541

ISBN : 3-540-17654-3

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

Series : Lecture notes in computer science

Nb in series : 0252

Location : Collection 1er étage

Event Year : 1987

City of congres : Brussels

Country of congres : Belgique

ACM code : D.2.2 ; D.3.1 ; F.3.2

Conference type : Congrès

Availability : empruntable

Level of authorization : Public


Copies

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


[available]
Bookmarks Report an error