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:
11th international conference, CAV'99#July 6-10

Bookmarks Report an error
Congrès

Halbwachs, Nicolas (Editor) ; Peled, Doron A. (Editor)

Springer-Verlag

1999

506p.

978-3-540-66202-0

00029971

00B25 ; 68-06 ; 68Q60 ; 68T15

informatique # méthodes de vérification assistée par ordinateur # spécification # modélisation de systèmes # algorithme de démonstration de théorèmes

Publisher City : Berlin ; Heidelberg

Publisher country : Allemagne

Language : English

EAN13 : 9783540662020

ISBN : 3-540-66202-2

ISSN : 0302-9743

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

Series : Lecture notes in computer science

Nb in series : 1633

Location : Collection 1er étage

Event Number : 11

Event Year : 1999

City of congres : Trento

Country of congres : Italie

Conference type : Congrès

Availability : empruntable

Level of authorization : Public


Copies

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

[available]
2 00030114

[available]
Bookmarks Report an error