Pragmatic techniques for program analysis and verification
Plödereder, Erhard 2010 Universitätsbibliothek der Universität Stuttgart
Link zu diesem Datensatz
https://d-nb.info/1015740308
Titel
Pragmatic techniques for program analysis and verification
Art des Inhalts
Monographie
Verfassangaben
Erhard Ploedereder
Autor
Plödereder, Erhard
Verlag
Stuttgart : Universitätsbibliothek der Universität Stuttgart [2010]
Jahr
Erscheinungsdatum: 2010
Umfang/Format
Online-Ressource
Online
https://nbn-resolving.org/urn:nbn:de:bsz:93-opus-56570
Sprache
eng
Schlagwörter
Anmerkungen
In: Software engineering : ICSE; International Conference Proceedings; International Conference 17-19 sept 1979. Long Beach, Calif. : IEEE Comp Soc., S. 63-72
Stand
02.12.2025 06:20
Im Katalog seit
06.03.2026
Beschreibung vom Verlag
Verlagstext laden
