informatique # méthode de vérification assistée par ordinateur #logique de programmation # softwere pour ingénieurs # circuits integrés # algorithme de démonstration # déduction

Publisher City : Berlin ; Heidelberg ; Allemagne

Language : English

EAN13 : 9783540646082

ISBN : 3-540-64608-6

ISSN : 0302-9743

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

Series : Lecture notes in computer science

Nb in series : 1427

Location : Collection 1er étage

Event Number : 10

Event Year : 1998

City of congres : Vancouver

Country of congres : Canada

Conference type : Congrès

Availability : empruntable

Level of authorization : Public

Copies