http://d-nb.info/gnd/115660666




Personen
Link zu diesem Datensatz http://d-nb.info/gnd/115660666
Name Berry, Gérard
Andere Namen Berry, G.
Publikationen von Autoren mit diesem Namen 1 Publikation
  1. Constructive circuits and the exactness of ternary simulation
    Mendler, Michael. - Bamberg : Fak. für Wirtschaftsinformatik und Angewandte Informatik, Otto-Friedrich-Univ., 2006
Beteiligt an 3 Publikationen
  1. Computer aided verification [Elektronische Ressource]
    Berlin : Springer, 2001
  2. Computer aided verification
    Berlin : Springer, 2001
  3. ...