|
|
|
|
| LEADER |
00000nam a2200000 a 4500 |
| 001 |
ELB178712 |
| 003 |
FINmELB |
| 005 |
20200520144314.0 |
| 006 |
m o d | |
| 007 |
cr cn||||||||| |
| 008 |
111021s2012 njua sb 001 0 eng d |
| 010 |
|
|
|z 2011039611
|
| 020 |
|
|
|z 9781848213203
|
| 020 |
|
|
|a 9781118602843 (electronic bk.)
|
| 035 |
|
|
|a (OCoLC)769469644
|
| 040 |
|
|
|a FINmELB
|c FINmELB
|d FINmELB
|
| 050 |
|
4 |
|a QA76.76.T48
|b S75 2012
|
| 082 |
0 |
4 |
|a 005.1/4
|2 23
|
| 245 |
0 |
0 |
|a Static analysis of software
|h [electronic resource] :
|b the abstract interpretation /
|c edited by Jean-Louis Boulanger.
|
| 260 |
|
|
|a Hoboken, N.J. :
|b Wiley,
|c 2012.
|
| 300 |
|
|
|a xiv, 331 p. :
|b ill.
|
| 504 |
|
|
|a Includes bibliographical references and index.
|
| 588 |
|
|
|a Description based on metadata supplied by the publisher and other sources.
|
| 590 |
|
|
|a Electronic reproduction. Santa Fe, Arg.: elibro, 2022. Available via World Wide Web. Access may be limited to eLibro affiliated libraries.
|
| 650 |
|
0 |
|a Computer software
|x Testing.
|
| 650 |
|
0 |
|a Debugging in computer science.
|
| 650 |
|
0 |
|a Computer software
|x Quality control.
|
| 655 |
|
4 |
|a Electronic books.
|
| 700 |
1 |
|
|a Boulanger, Jean-Louis.
|
| 797 |
2 |
|
|a elibro, Corp.
|
| 856 |
4 |
0 |
|u https://elibro.uam.elogim.com/ereader/bidiuam/178712
|z Texto completo
|
| 950 |
|
|
|a eLibro English
|
