Computer aided verification:
5th international conference, CAV'93#June28-July1
informatique # vérification assistée par ordinateur # simulation nummérique # logique de programmation # softwere pour ingénieurs # algorithme de démonstration de théorème # symmetrie
Ville d'édition : Berlin ; Heidelberg
Pays d'édition : Allemagne
Langue : Anglais
EAN13 : 9783540569220
ISBN : 3-540-56922-7
Collation : fig.#tables#24 cm#broch.
Collection : Lecture notes in computer science
N° de collection : 0697
Localisation : Collection 1er étage
Numéro de congrès : 5
Année de la rencontre : 1993
Ville du congrès : Elounda
Pays du congrès : Grèce
Type Congrès : Congrès
Disponibilité : empruntable
Niveau d'autorisation : Public
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00029973 | [disponible] |