Suchfeld einblenden
Schlagwort Programmanalyse
52 Treffer
Verified software: theories, tools, experiments
: second international conference ; proceedings / VSTTE 2008, Toronto, Canada, October 6 - 9, 2008. Natarajan Shankar ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5295)
ISBN 978-3-540-87873-5
Lizenzpflichtig
Quelle: DNB
Verified software: theories, tools, experiments
: first IFIP TC 2/WG 2.3 conference ; revised selected papers and discussions / VSTTE 2005, Zurich, Switzerland, October 10 - 13, 2005. Bertrand Meyer ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 4171)
ISBN 978-3-540-69149-5
Lizenzpflichtig
Quelle: DNB
