Software specification methods

edited by Henri Habrias, Marc Frappier
Bok · Engelsk · 2006

Utgitt	London : ISTE Ltd , c2006
Omfang	XXV, 418 S.
Emner	Computer software Formal methods (Computer science) Estelle Formell spesifikasjon : {ANY_VALUE} Vis mer... Petrinett Programspesifikasjon Unified modeling language
ISBN	1905209347. - 9781905209347