00687cam a2200205 a 4500008004100000020002500041100002500066245005000091260004800141300003300189490005400222500002000276504004100296650003400337650003700371830004600408003000100454005001700455040000900472                                          a9780470500958 (hbk.)1 aSafonov, Vladimir O.10aTrustworthy compilers /cVladimir O. Safonov.  aHoboken, N.J. :bJohn Wiley & Sons,cc2010.  axx, 295 p. :bill. ;c25 cm.1 aWiley series on quantitative software engineering  alncludes index.  aIncludes bibliographical references. 0aCompilers (Computer programs) 0aInterpreters (Computer programs) 0aQuantitative software engineering series.20230123122033.0  cNUST