- EAN13
- 9782746203020
- ISBN
- 978-2-7462-0302-0
- Éditeur
- Hermès science publications
- Date de publication
- 05/10/2001
- Collection
- Collection Informatique
- Nombre de pages
- 414
- Dimensions
- 24 cm
- Poids
- 620 g
- Code dewey
- 005.1
- Fiches UNIMARC
- S'identifier
Spécification formelle avec B
De Henri Habrias
Autres contributions de Marie-Laure Potet
Hermès science publications
Collection Informatique
S'identifier pour envoyer des commentaires.
Autres contributions de...
-
Pierre Abélard, Colloque international de NantesJean Jolivet, Henri HabriasPresses universitaires de Rennes24,00
-
ZB 2002, Grenoble, France, [January 23-25, 2002], 4th International B conference [and the 13 International Z user meeting]International Z and B conference[Apcb]
-
Pierre Abélard, à l'aube des universités, actes de la conférence internationale, Université de Nantes, 3-4 octobre 2001Henri HabriasUniversité de Nantes