informatique # méthodes 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

Publisher country : Allemagne

Language : English

EAN13 : 9783540631668

ISBN : 3-540-63166-6

ISSN : 0302-9743

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

Series : Lecture notes in computer science

Nb in series : 1254

Location : Collection 1er étage

Event Number : 9

Event Year : 1997

City of congres : Haifa

Country of congres : Israël

Conference type : Congrès

Availability : empruntable

Level of authorization : Public

Copies