51. Tests and proofs : 12th International Conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings /: 12th International Conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings. (2018) Editors: Dubois, Catherine; Wolff, Burkhart, 1962- Other Names: TAP (Conference), 12th; STAF (Federation of conferences) Record Type: Book Extent: 1 online resource (xiv, 185 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
52. Tests and proofs : 13th International Conference, TAP 2019, held as part of the third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings /: 13th International Conference, TAP 2019, held as part of the third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings. (2019) Editors: Beyer, Dirk, 1972-; Keller, Chantal Other Names: TAP (Conference), 13th Record Type: Book Extent: 1 online resource (x, 207 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
53. The IFPUG guide to IT and software measurement. (©2012) Other Names: International Function Point Users Group. Record Type: Book Extent: 1 online resource (xv, 816 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
54. Tools and methods of program analysis : 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised selected papers /: 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised selected papers. (2018) Editors: Itsykson, Vladimir; Ščedrov, Andrej, 1955-; Zakharov, Victor Other Names: International Conference on Tools and Methods of Program Analysis, 4th Record Type: Book Extent: 1 online resource (xviii, 209 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
55. Trends in software testing. ([2016]) Editors: Mohanty, Hrushikesha; Mohanty, J. R; Balakrishnan, Arunkumar Record Type: Book Extent: 1 online resource (xvii, 176 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
56. Troubleshooting Java performance : detecting anti-patterns with open source tools /: detecting anti-patterns with open source tools. (2017) Other Names: Ostermueller, Erik Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
57. Troubleshooting Xcode. (2015) Authors: Urbano, Magno Record Type: Book Extent: 1 online resource (xvii, 125 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
58. Type systems for distributed programs : components and sessions /: components and sessions. (2016) Authors: Dardha, Ornela Record Type: Book Extent: 1 online resource (xxii, 192 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
59. Unit testing in Java : how tests drive the code /: how tests drive the code. (©2003) Other Names: Link, Johannes; Frlich, Peter Record Type: Book Extent: 1 online resource (xvii, 376 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
60. Validation of evolving software. (2015) Editors: Chockler, Hana; Kroening, Daniel; Mariani, Leonardo; Sharygina, Natasha Record Type: Book Extent: 1 online resource (viii, 218 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗