00493cam a22001574a 4500 0 0 0 0 RIU RIU 2012-02-17 Purchased: Pak Book Corporation 1295.00 2 004.0151 SOF 5384 2021-12-31 00:00:00 2021-12-31 1 2019-02-21 BK 212 212 9781905209347 (Hb) 1905209347 9781905209347 004.0151 SOF Habrias, Henri (editor) Marc Frappier (editor) Software specification methods India ISTE 2007 xxv, 418 p. : ill. ; 25 cm. Computer science Formal methods Computer software UML VDHL E-Lotos SDL Petri nets FC BK