Recherche simple "Formal methods Europe. International symposium (03 ; 1996 ; Oxford, GB)" : liste de notices

FME '96, industrial benefit and advances in formal methods : third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : proceedings / Marie-Claude Gaudel, James Woodcock, eds

Format du fichier :	PDF TXT
Choisir :	notices abrégées notices complètes
Format de la notice :	Public Intermarc

	Sélectionner tout
	Localisation (pour obtenir tous les exemplaires d'une même ressource)
	Titre
	Auteur
	Contributeur
	Editeur
	Date
	Description
	Sujet
	Couverture
	Langue
	Format

Votre Recherche

Recherche simple :

Affiner

Nature de document

Détails texte imprimé ou électronique

Localisation

Auteurs, contributeurs...

Langues

Date de publication

Sujets

Détail des sujets

Genre ou forme

Pays

Formal methods Europe. International symposium (03 ; 1996 ; Oxford, GB)

Récupérer les notices

autres Ressources