It looks like you're offline.
Donate
English (en) Change Website Language
Open Library logo
additional options menu
Last edited anonymously
April 30, 2008 | History
Edit

Henri Habrias

We need a photo of Henri Habrias

2 works Add another?

Showing ebooks only. Would you like to see everything by this author?

  • Cover of: Dictionnaire encyclopédique du génie logiciel
    Preview

    First published in 1997 — 1 edition
    Borrow

    My Reading Lists:

    Create a new list

  • Cover of: Introduction a la specification
    Preview

    First published in 1993 — 1 edition
    Borrow

    My Reading Lists:

    Create a new list

We need a photo of Henri Habrias

Subjects

Calcul propositionnel, Computer programming, Computer software, Contrats et spécifications, Development, Développement, Génie logiciel, Logiciels, Logique premier ordre, Programmation (Informatique), Spécification formelle, Spécification logiciel, Système formel

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL3127131A

Links outside Open Library

No links yet. Add one?

History

Download catalog record: RDF / JSON
April 30, 2008 Created by an anonymous user initial import