Spécification formelle avec B

dc.contributor.author	Henri, Habrias
dc.date.accessioned	2024-11-21T13:28:55Z
dc.date.available	2024-11-21T13:28:55Z
dc.date.issued	2001
dc.identifier.isbn	2746203022
dc.identifier.uri	https://di.univ-blida.dz/jspui/handle/123456789/34175
dc.description	Bibliogr.-	fr_FR
dc.language.iso	fr	fr_FR
dc.publisher	Lavoisier	fr_FR
dc.subject	B (langage de programmation)	fr_FR
dc.subject	Méthode B (informatique)	fr_FR
dc.title	Spécification formelle avec B	fr_FR
dc.type	Book	fr_FR