Vous n'auriez pas dû voir cette page, destinée aux moteurs de recherche. Allez plutôt voir du côté de www.sudoc.abes.fr/DB=2.1/SRCH?IKT=12&TRM=04415433X.

Définition d'une méthodologie pour le langage de spécification formelle VDM / Jérôme Loubersac ; sous la direction de Geneviève Jomier

Date :

Editeur / Publisher : , 1994

Format : 2 vol., 372 p

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Catalogue Worldcat

Langages formels

VDM, Méthode

Jomier, Geneviève (19..-2018) (Directeur de thèse / thesis advisor)

Université Paris-Dauphine (Organisme de soutenance / degree-grantor)