1st Conference on the B method

8th International conference on Putting into practice methods and tools for information system design, November, 25-26-27, 1996, Nantes, France, proceedings

auteur :Conférence internationale B (01 ; 1996 ; Nantes)

éditeur intellectuels :Henri Habrias, Institut de recherche en informatique. Nantes

Trouver ce livre d’occasion

Genre :Actes de congrès

Sujet :B (méthode formelle)

Première parution: 1996
Éditeur: Institut de recherches en informatique de Nantes
Nantes
Pages: 353
Éditions: 1
Langue: Français

Trouver ce livre d’occasion

Recherche préremplie — titre et auteur, toutes éditions confondues — chez 8 marchands d’occasion et sites de petites annonces.

Momox RecycLivre Rakuten Vinted Leboncoin AbeBooks eBay

Édition

	Année	Éditeur	ISBN	Pages	Ville	Occasion	Notice
	1996	Institut de recherches en informatique de Nantes	2-906082-25-2	353	Nantes	AbeBooks · Momox

Voir la notice BNF →

Introuvable en stock ? Recevez une alerte

Beaucoup d’éditions sont épuisées — soyez prévenu par email quand une offre d’occasion réapparaît, au prix qui vous convient.

Votre adresse sert uniquement à vous prévenir pour ce livre : une confirmation vous sera demandée par email, et chaque message contient un lien de désinscription en un clic. Aucune revente, aucune lettre d’information.