Spécification formelle avec B
By: Henri Habrias ; avec le collaboration de Jean-Yves Lafaye, Marie-Laure Potet.
Contributors: Lafaye, Jean-Yves.; Potet, Marie-Laure.
Series: Collection informatique
Publisher: Hermes Science Publications
Published: 2001
Place of publication: Paris
Language: fre
Number of pages: 414