00831nam a2200229 a 4500 vtls000015352 KUKTEM 20251117144145.0 060821t e 001 0 eng d 3540211500 201107131838 VLOAD 200908141230 VLOAD 200908141202 VLOAD 200908131633 VLOAD 200608210918 dilla UMP QA 76.758 .B56 2006 Bjørner, Dines Software engineering 2: specification of systems and languages / Dines Bjorner Berlin : Springer, 2006 777 p. : ill. ; 24 cm Texts in theoretical computer science . An EATCS series Software engineering Computer programming 0 0 lcc 0 0 10000 10000 2019-09-04 384.97 0 QA 76.758 .B56 2006 0000017556 2019-09-04 00:00:00 1 384.97 2019-09-04 OPEN VIRTUA40 30539 30545 VTLSSORT0080*0200*0900*1000*2450*2600*3000*4400*6500*6501*9991