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

Computer-aided verification:
2nd international conference, CAV'90#June18-21

Bookmarks Report an error
Congrès

Clarke, E. M. (Editor) ; Kurshan, R. P. (Editor)

Springer-Verlag

1991

372p.

978-3-540-54477-7

00029969

00B25 ; 68-06 ; 68T35 ; 68Q85

informatique # méthodes de vérification assistée par ordinateur # langage logique # langage formel # algébres de processus

Publisher City : Berlin ; Heidelberg

Publisher country : Allemagne

Language : English

EAN13 : 978540544777

ISBN : 3-540-54477-1

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

Series : Lecture notes in computer science

Nb in series : 0531

Location : Collection 1er étage

Event Number : 2

Event Year : 1990

City of congres : New Brunswick

Country of congres : États-Unis

Conference type : Congrès

Availability : empruntable

Level of authorization : Public


Copies

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

[available]
Bookmarks Report an error