informatique # logique de programmation # softwere pour ingénieurs # algorithme de spécification # algorithme de vérification # algorithme d'analyse # algorithme de construction # algorithme de démonstration de théorème

Publisher City : Berlin ; heidelberg

Publisher country : Allemagne

Language : English

EAN13 : 9783540627906

ISBN : 3-540-62790-1

ISSN : 0302-9743

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

Series : Lecture notes in computer science

Nb in series : 1217

Location : Collection 1er étage

Event Number : 3

Event Year : 1997

City of congres : Enschede

Country of congres : Pays-Bas

Conference type : Congrès

Availability : empruntable

Level of authorization : Public

Copies