> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Bericht Titel: Combined Static and Dynamic Analysis Beteiligte: Artho, Cyrille [VerfasserIn]; Biere, Armin [VerfasserIn] Erschienen: ETH, Department of Computer Science, 2005 Erschienen in: Technical report, 466 Sprache: Englisch DOI: https://doi.org/20.500.11850/69788; https://doi.org/10.3929/ethz-a-006775577 Schlagwörter: JAVA (PROGRAMMING LANGUAGES) ; computer science ; VERIFICATION (SOFTWARE ENGINEERING) ; JAVA (PROGRAMMIERSPRACHEN) ; VERIFIKATION (SOFTWARE ENGINEERING) ; COMPUTING TIME + RUNNING TIME (COMPUTER SYSTEMS) ; Data processing ; RECHENZEIT + LAUFZEIT (COMPUTERSYSTEME) Entstehung: Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Zugangsstatus: Freier Zugang Rechte-/Nutzungshinweise: Urheberrechtsschutz - Nicht kommerzielle Nutzung gestattet