Habrias, Henri

Software specification methods - London: ISTE Ltd, 2006 - xxv, 418 p.; ill.: 24 cm.

9781905209347 hbk


Computer software - Specifications
Formal methods
Logiciels
E-LOTOS

004.0151 / HAB

Powered by Koha