01126nam a2200301 a 4500 vtls000059870 KUKTEM 20251125093141.0 120521e2012 gw a f 001 0 eng d 9783642173356 3642173357 9783642173363 (electronic bk.) 3642173365 (electronic bk.) 201207201635 fauzi 201207201632 fauzi 201205211611 farina UMP QA76.9.M35 S26 2012 Sannella, D. Foundations of algebraic specification and formal software development / Donald Sannella, Andrzej Tarlecki Heidelberg ; New York : Springer, c2012 xvi, 581 p. : ill. ; 25 cm. Includes bibliographical references and indexes Computer science Mathematics Software engineering Computer software Development Formal methods (Computer science) Tarlecki, Andrzej. 0 0 0 0 20000 20000 2019-09-04 384.46 0 QA76.9.M35 S26 2012 0000065696 2019-09-04 00:00:00 1 384.46 2019-09-04 OPEN VIRTUA40 61876 61882 VTLSSORT0080*0200*0201*0202*0203*0400*0900*1000*2450*2600*3000*5040*6500*6501*6502*6503*7000*9992