Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Reverse Engineering Code with IDA ProFerguson, JustinSan Diego: Elsevier Science 2011Texto completo disponível |
|
2 |
Material Type: Livro
|
Automated and Algorithmic Debugging: First International Workshop, AADEBUG '93 Linköping, Sweden, May 3–5, 1993 ProceedingsFritzson, Peter A Fritzson, Peter A.Berlin, Heidelberg: Springer Berlin Heidelberg 1993Texto completo disponível |
|
3 |
Material Type: Livro
|
B’98: Recent Advances in the Development and Use of the B Method: Second International B Conference Montpellier, France, April 22–24, 1998 ProceedingsBert, Didier Bert, DidierBerlin, Heidelberg: Springer Berlin Heidelberg 1998Texto completo disponível |
|
4 |
Material Type: Livro
|
Exception Handling: Fundamentals and ProgrammingMejia Alvarez, Pedro ; Gonzalez Torres, Raul E. ; Ortega Cisneros, SusanaCham: Springer Nature Switzerland 2024Sem texto completo |
|
5 |
Material Type: Livro
|
Modeling in Event-B: System and Software EngineeringAbrial, Jean-RaymondCambridge: Cambridge University Press 2010Sem texto completo |
|
6 |
Material Type: Livro
|
Software error detection: through testing and analysisHuang, J. CHoboken, N.J: Wiley 2009Texto completo disponível |
|
7 |
Material Type: Ata de Congresso
|
CODOMs: protecting software with code-centric memory domainsVilanova, Lluïs ; Ben-Yehuda, Muli ; Navarro, Nacho ; Etsion, Yoav ; Valero, Mateo2014 ACM/IEEE 41st International Symposium on Computer Architecture (ISCA), 2014, p.469-480IEEE PressTexto completo disponível |
|
8 |
Material Type: Livro
|
Problem-Solving in High Performance Computing - A Situational Awareness Approach with LinuxLjubuncic, IgorSan Diego: Elsevier 2015Texto completo disponível |
|
9 |
Material Type: Livro
|
Formal methods applied to complex systems: implementation of the B methodBoulanger, Jean-LouisWiley-Blackwell 2014Texto completo disponível |
|
10 |
Material Type: Livro
|
Open Source Fuzzing ToolsNoam Rathaus, Gadi EvronBurlington: Elsevier Science 2011Texto completo disponível |