RecordDetails

Génie logiciel : exercices corrigés en langage Z : les spécifications formelles par l'exemple / Pascal André, Alain Vailly. André, Pascal.

Call Number

005.1

Publication

Paris : Ellipses, c2004.

Description

ii, 243 p. : ill. ; 26 cm.

Multimedia

http://catalogue.bnf.fr/ark:/12148/cb39148694c


Call number: ‪005.1
Author: ‪André, Pascal.
other author: ‪Vailly, Alain.
Title: ‪Génie logiciel : ‪exercices corrigés en langage Z : les spécifications formelles par l'exemple / ‪Pascal André, Alain Vailly.
Publisher: ‪Paris : ‪Ellipses, ‪c2004.
Description: ‪ii, 243 p. : ‪ill. ; ‪26 cm.
Subject: ‪Z (langage de programmation) -- ‪Problèmes et exercices.
Other Subject: ‪Méthodes formelles (informatique) -- ‪Problèmes et exercices.
Multimedia: http://catalogue.bnf.fr/ark:/12148/cb39148694c
ISBN: ‪2729819428
Other ISBN: ‪9782729819422