00931nam a2200253 a 4500 vtls000017191 KUKTEM 20251117144226.0 070108t2006 xxka f 000 0 eng d 1905209347 201107131853 VLOAD 201002030941 kam 200908141250 VLOAD 200908141222 VLOAD 200701081426 farina UMP QA76.9.F67 S64 2006 Software specification methods / edited by Henri Habrias, Marc Frappier London ; Newport Beach, CA : ISTE Ltd, 2006 xxv, 418 p. : ill. ; 25 cm. Includes bibliographical references and index Formal methods (Computer science) Computer software Specifications Habrias, Henri Frappier, Marc, 1965- 0 0 0 0 20000 20000 2019-09-04 1 2 QA76.9.F67 S64 2006 0000020149 2019-12-01 00:00:00 2019-10-10 1 2019-09-04 OPEN VIRTUA40 31929 31935 VTLSSORT0080*0200*0400*0900*2450*2600*3000*5040*6500*6501*7000*7001*9991 1