Normal view MARC view ISBD view

Logique: Volume 2:méthodes formelles pour l'étude des programmes Paul Gochet

By:

Contributor(s):

Material type: Text

TextLanguage: French Publication details: Paris: Hermes cop. 2000Description: 394 p. ill. en noire; couv. il. en coul. 24 cmISBN:

Subject(s):

Holdings
Item type	Current library	Home library	Call number	Copy number	Status	Date due	Barcode
Livre exclu du prêt	Bibliothèque Ecole Polytechnique d'Abomey-Calavi	Bibliothèque Ecole Polytechnique d'Abomey-Calavi	510 GOC-2 (Browse shelf(Opens below))	1	Available		40096 EPAC
Libre Accès	Bibliothèque Ecole Polytechnique d'Abomey-Calavi	Bibliothèque Ecole Polytechnique d'Abomey-Calavi	510 GOC-2 (Browse shelf(Opens below))	2	Available		40097 EPAC

Previous								Next
Previous	510 BRA Espèce de Trochoïde ! 50 idée mathématiques expliquées au profane	510 CHE Les poulets de Minsk ..... et 99 autres épouvantables casse-tête de la grande tradition Russe	510 GOC-2 Logique: Volume 2:méthodes formelles pour l'étude des programmes	510 GOC-2 Logique: Volume 2:méthodes formelles pour l'étude des programmes	510 PIC Magiques MATHEMATIQUES : 108 Enigmes et autres curiosités	510 SMU ça y est, je suis fou !!	510.202/F852m Mathématiques : Licence, Prépas, CAPES	Next

Bibliographie: pp.(337-343)
Indexe: pp.(346-351)

There are no comments on this title.

to post a comment.