Modèles temporels des systèmes logiques / Joseph Sifakis ; sous la direction de Jean Kuntzmann

Date : 1974

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Boole, Algèbre de

Circuits logiques

Classification Dewey : 500

Sifakis, Joseph (1946-.... ; informaticien) (Auteur / author)

Kuntzmann, Jean (1912-1992 ; mathématicien) (Directeur de thèse / thesis advisor)

Université Joseph Fourier (Grenoble ; 1971-2015) (Organisme de soutenance / degree-grantor)

Relation : Modèles temporels des systèmes logiques / Joseph Sifakis ; sous la direction de Jean Kuntzmann / Grenoble : Université Joseph Fourier , 2005