automate # axiomatique # axiomatisabilite # langage de progammation # logique modale # probabilité de l'automatique # progammation # théorie de la programmation # théorie des langages

Ville d'édition : Berlin ; Heidelberg ; N.Y.

Pays d'édition : États-Unis

Langue : Anglais

EAN13 : 9783540092377

ISBN : 3-540-09237-4

Collation : Bibliogr. Pp. 127-133 ; ix#24 cm#broch.

Collection : Lecture notes in computer science

N° de collection : 0068

Localisation : Collection 1er étage

Code ACM : D.3.4 ; F.2 ; F.3 ; F.4

Type d'ouvrage : Monographie

Disponibilité : empruntable

Niveau d'autorisation : Public

Exemplaires