1. DSpace at My University blida 1
  2. Bibliothèque Universitaire Centrale
  3. Livres
Please use this identifier to cite or link to this item: http://localhost:8080/xmlui/handle/123456789/34175
Title: Spécification formelle avec B
Authors: Henri, Habrias
Keywords: B (langage de programmation)
Méthode B (informatique)
Issue Date: 2001
Publisher: Lavoisier
Description: Bibliogr.-
URI: https://di.univ-blida.dz/jspui/handle/123456789/34175
ISBN: 2746203022
Appears in Collections:Livres

Files in This Item:
File Description SizeFormat 
2-005-310.pdflivre2,18 MBAdobe PDFView/Open
Show full item record


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.